Formal System Verification. 1st ed. 2018 - Drechsler, Rolf (Springer International Publishing, 2020)