Rad, S. , Haghighi, H.. "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, (2011), 5(11), 1390 - 1398.