Formal Methods for Industrial Critical Systems - Maurice H. ter Beek, Dejan Ni?kovi? (Springer, 2020)