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