From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday - ter Beek, Maurice H.; ter Beek, Maurice H.; Fantechi, Alessandro; Fantechi, Alessandro; Semini, Laura; Semini, Laura (Springer International Publishing : Imprint: Springer, 2019)