selected publications chapter An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. Lecture notes in computer science. 353-366. 2018 conference paper Verification of SGAC Access Control Policies Using Alloy and ProB. . 120-123. 2017 Formal Development of a Secure Access Control Filter. . 173-180. 2016 A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction. . 438-445. 2014