Integrated Formal Methods - Ahrendt, Wolfgang (Springer International Publishing, 2020)