Alberto Avritzer, Daniel Sadoc Menasché, Kishor S. Trivedi, Lucia Happe, Sahra Sedigh Sarvestani. Workshop on Model Based Design for Cyber-Physical Systems (MB4CP). In 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, Rio de Janeiro, Brazil, June 22-25, 2015. pages 565-566, IEEE, 2015. [doi]
Abstract is missing.