Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, june 5-8, 2018, proceedings - Butler, Michael 1967-; Raschke, Alexander; Hoang, Thai Son; Reichl, Klaus (Springer, 2018)