The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II - Cavalcanti, Ana. (Springer Nature Switzerland,)