Dominique Mery
A Formal Model to Facilitate Security Testing in Modern Automotive Systems
Eduardo Dos Santos, Dominik Schoop and Andrew Simpson
Securing Open Source Clouds Using Models
Irum Rauf and Elena Troubitsyna
Incremental Database Design using UML-B and Event-B
Ahmed Al-Brashdi, Michael Butler and Abdolbaghi Rezazadeh
Towards Integrated Modelling of Dynamic Access Control with UML and Event-B
Inna Vistbakka and Elena Troubitsyna
Regine Laleau