Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi Hassaïne. Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams. In 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA. pages 515-522, IEEE Computer Society, 2007. [doi]
Abstract is missing.