Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings - Frappier, Marc (Springer-Verlag Berlin Heidelberg, 2010)