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