Rad, S. , Haghighi, H. (2011), 'A Comprehensive and Integrated Framework for Formal Specification of Concurrent Systems', World Academy of Science, Engineering and Technology, Open Science Index 59, International Journal of Computer and Information Engineering, 5(11), 1390 - 1398.