Formal Methods and Software Engineering - Kazuhiro Ogata, Mark Lawford, Shaoying Liu (Springer, 2016)