Abstract State Machines, Alloy, B, VDM, and Z - Hutchison, David; Kanade, Takeo; Fitzgerald, John; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, Michael; Reeves, Steve; Riccobene, Elvinia (Springer Berlin Heidelberg, 2012)