Rigorous System Design (Foundations and trends in electronic design automation, 2013)