Formal Methods and Software Engineering - Adrian Riesco, Min Zhang (Springer, 2022)