@InProceedings{JSDH07, author={Yosr Jarraya and Andrei Soeanu and Mourad Debbabi and Fawzi Hassa{\"i}ne}, title={Automatic Verification and Performance Analysis of Time-Constrained {SysML} Activity Diagrams}, booktitle={Proc. 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)}, year={2007}, editor={}, pages={515--522}, organization={}, publisher={IEEE}, series={}, volume={}, address={}, month={}, note={}, key={} }