Formal Techniques for Safety-Critical Systems - Artho, Cyrille (Springer International Publishing, 2020)