Formal analysis of metamodel : an evaluation of an approach using ZOO templates to derive a Z model of part of EMOF - Asmiza Abdul Sani (2007)