@conference{modelsward21,
author={Alessandro Tempia Calvino. and Ludovic Apvrille.},
title={Direct Model-checking of SysML Models},
booktitle={Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2021},
pages={216-223},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010256302160223},
isbn={978-989-758-487-9},
}