Amilon J and Gurov D. Deductively Verified Program Models for Software Model Checking. Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification. (8-25).

https://doi.org/10.1007/978-3-031-75380-0_2

Amilon J, Lidström C and Gurov D. Deductive Verification Based Abstraction for Software Model Checking. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. (7-28).

https://doi.org/10.1007/978-3-031-19849-6_2

Buzhinsky I and Vyatkin V. Testing automation systems by means of model checking. 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). (1-7).

https://doi.org/10.1109/ETFA.2017.8247579

Westman J and Nyberg M. Formal Architecture Modeling of Sequential C-Programs. Revised Selected Papers of the 12th International Conference on Formal Aspects of Component Software - Volume 9539. (312-329).

https://doi.org/10.1007/978-3-319-28934-2_17