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 05 August 2020]. Available from: https://publications.waset.org/pdf/3046.