Formal Methods Teaching - Dongol (Springer International Publishing, 2019)