Abstract State Machines, Alloy, B, TLA, VDM, and Z - Butler; Alexander Raschke; Klaus Reichl; Thai Son Hoang; Hoang, Thai Son; Raschke, Alexander; Reichl, Klaus (Springer International Publishing, 2018)