Formal Methods - Havelund, Klaus (Springer International Publishing, 2020)