Formal Methods – The Next 30 Years - heftet, Engelsk, 2019