1. Halfway Generic Verification of Railway Control Systems;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2023
2. Evaluating the suitability of state-based formal methods for industrial deployment;Software: Practice and Experience;2018-09-13
3. Using Formal Proof and B Method at System Level for Industrial Projects;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2016
4. Bibliography;CENELEC 50128 and IEC 62279 Standards;2015-03-27
5. Front Matter;Formal Methods Applied to Complex Systems;2014-07-22