Rasulzadeh, S. (2008), 'Formal Modeling and Verification of Software Models', World Academy of Science, Engineering and Technology, Open Science Index 18, International Journal of Computer and Information Engineering, 2(6), 1881 - 1887.