Synthesizing Cyber-Physical Architectural Models with Real-Time Constraints. - Christine Hang; Panagiotis Manolios; Vasilis Papavasileiou (CAV, 2011)