From Software Engineering to Formal Methods and Tools, and Back - Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (Springer, 2019)