Shah, Seyyed Madasar Ali (2012) Model transformation dependability evaluation by the automated creation of model generators. Ph.D. thesis, University of Birmingham.