L. Apvrille and P. De-saqui-sannes, Static Analysis Techniques to Verify Mutual Exclusion Situations within SysML Models, 16th International System Design Languages Forum, 2013.
DOI : 10.1007/978-3-642-38911-5_6

L. Apvrille and Y. Roudier, SysML-Sec: A SysML Environment for the Design and Development of Secure Embedded Systems, Proceedings of the IN- COSE/APCOSEC 2013 Conference on system engineering, 2013.

L. Apvrille, TTool, a free UML/SysML modeling software

R. D. King and C. D. Turnitsa, The Landscape of Assumptions, SpringSim '08, Proceedings of the 2008 Spring simulation multiconference, pp.81-88

P. Lago and H. Van-vliet, Explicit assumptions enrich architectural models, 27th Int. conference on Software engineering, 2005.

J. Marincic, A. Mader, and A. Wieringa, Capturing Assumptions while Designing a Verification Model for Embedded Systems, 2007.

L. Apvrille and A. Becoulet, Fast and Multi-platform Prototyping of Embedded Systems from UML/SysML Models The 14th edition of the Sophia Antipolis MicroElectronics Forum (SAME'2011), 14. H. Kopetz, P. Puschner, RT System Modeling, 2011.

F. Kordon, J. Hugues, A. Canals, A. Dohet, A. et al., Embedded Systems: Analysis and Modeling with SysML, pp.978-1848215009, 2013.
DOI : 10.1002/9781118569535

URL : https://hal.archives-ouvertes.fr/hal-01221804

K. Kotiadis and S. Robinson, Conceptual Modeling: Knowledge Acquisition and Model Abstraction, Winter Simulation Conference, 2008.

R. D. King and C. D. Turnitsa, The Landscape of Assumptions, Proceedings of the 2008 Spring simulation multiconference, pp.81-88

J. Marincic, A. Mader, and R. Wieringa, Classifying Assumptions Made During Requirements Verification of Embedded Systems, 14th International Working Conference on Requirements Engineering: Foundation for Software Quality, pp.141-146, 2008.

S. Nejati, M. Sabetzadeh, D. Falessi, L. Briand, and T. Coq, A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies, Information and Software Technology, vol.54, issue.6, pp.569-590, 2012.
DOI : 10.1016/j.infsof.2012.01.005

I. Dragomir and I. Ober, Christian Percebois, Integrating verifiable Assume, UML/SysML, ACESMB@MoDELS, volume 1084 of CEUR Workshop Proceedings, CEUR-WS.org, 2013.

D. Genius and L. Apvrille, Virtual Yet Precise Prototyping: An Automotive Case Study, Proceedings of the ERTS'2016
URL : https://hal.archives-ouvertes.fr/hal-01291888

L. Apvrille and J. Dugelay, Drone4u