Quoc-Nam Tran and Anjib Mulepati, Validation of Automation Systems using Temporal Logic Model Checking and Groebner Bases. journal = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology. April 2009, vol. 28(4). 936 - 944 [viewed 23 September 2024]. Available from: https://publications.waset.org/pdf/3046.