A MOF-Based Metamodel for SA/RT. - Joakim Isaksson; Johan Lilius; Dragos Truscan (RISE, 2004)