Modelling and analysis using GROOVE. - Amir Hossein Ghamarian; Maarten de Mol; Arend Rensink; Eduardo Zambon; Maria Zimakova (Int. J. Softw. Tools Technol. Transf., 2012)