Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings - Ait Ameur, Yamine; Schewe, Klaus-Dieter (Springer Berlin Heidelberg : Imprint: Springer, 2014)