Modelling and Analysis for Cyber-Physical Systems: An SMT-based approach. - Phan Anh Dung (2015)