Formal Methods and Software Engineering - Dong, Jin Song (Springer Berlin Heidelberg, 2010)