Formal Methods and Software Engineering - Duan; Ong, Luke (Springer International Publishing, 2017)