Software Engineering and Formal Methods - Johnsen, Einar Broch (Springer International Publishing, 2020)