Abstract property language for MDG model checking methodology. - Sa'ed Abed; Kamran Hussain; Otmane Aït Mohamed (Int. J. Comput. Appl. Technol., 2012)