Formal System Verification - Drechsler, Rolf (Springer International Publishing, 2018)