Integrated Formal Methods - Ahrendt; Tapia Tarifa, Silvia Lizeth (Springer International Publishing, 2019)