Formal Methods - Flemming Nielson, Hanne Riis Nielson (Springer International Publishing, 2019)