Alessandro Cimatti, Sergio Mover, Stefano Tonetta. Proving and explaining the unfeasibility of message sequence charts for hybrid systems. In Per Bjesse, Anna Slobodová, editors, International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011. pages 54-62, FMCAD Inc., 2011. [doi]
Abstract is missing.