The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement - Foster, Simon. (Springer Nature Switzerland,)