Rigorous System Design (Foundations and Trends(r) in Electronic Design Automation) 57,65 EUR*