@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={}
}