Software Engineering and Formal Methods - Radu Calinescu; Păsăreanu, Corina S. (Springer International Publishing, 2021)