Abstract state machines, alloy, B and Z second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings / - Frappier, Marc, (Springer,)