Petra Malik, Lindsay Groves, Clare Lenihan: Translating Z to Alloy. ASM 2010: 377-390