Formal Techniques for Safety-Critical Systems - Cyrille Artho, Peter Csaba Ölveczky (Springer, 2019)