From Software Engineering to Formal Methods and Tools, and Back - ter Beek; Fantechi, Alessandro; Semini, Laura (Springer International Publishing, 2019)