Formal Methods: Foundations and Applications - Tiago Massoni, Mohammad Reza Mousavi (Springer, 2018)