1. Rodin: an open toolset for modelling and reasoning in Event-B;Jean-Raymond Abrial;International journal on software tools for technology transfer,2010
2. Review of deep learning: Concepts, CNN architectures, challenges, applications, future directions;Laith Alzubaidi;Journal of big Data,2021
3. SCADE: Synchronous design and validation of embedded control software;G�rard Berry;Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems,2007
4. Simplifying neural networks using formal verification;Alexander Sumathi Gokulanathan;NASA Formal Methods Symposium,2020