Formal Methods and Software Engineering - Merz; Pang, Jun (Springer International Publishing, 2014)