Abstract state machines, Alloy, B and Z : second international conference, ABZ 2010, Orford, QC, Canada, february 22-25, 2010 : proceedings - Frappier, Marc 1965- (Springer, 2010)