Formal Methods and Software Engineering - Shang-Wei Lin, Zhe Hou, Brendan Mahony (Springer, 2020)