Formal Methods – The Next 30 Years - ter Beek; McIver, Annabelle; Oliveira, José N. (Springer International Publishing, 2019)