Formal System Verification State-of the-Art and Future Trends - Drechsler, Rolf (Springer International Publishing : Imprint: Springer, 2018)