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