Translating Z to Alloy. - Petra Malik; Lindsay Groves; Clare Lenihan (ASM, 2010)