Formal Methods and Software Engineering - Lau, Kung-Kiu (Springer Berlin Heidelberg, 2020)