Formal Methods - Havelund (Springer International Publishing, 2018)