Tran, Q. , Mulepati, A. (2009), 'Validation of Automation Systems using Temporal Logic Model Checking and Groebner Bases', World Academy of Science, Engineering and Technology, Open Science Index 28, International Journal of Computer and Information Engineering, 3(4), 936 - 944.