Integrated Formal Methods - Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa (Springer, 2019)