Integrated Formal Methods - Maurice H. ter Beek, Rosemary Monahan (Springer, 2022)