Sun, Haiyang, Jian Yang, and Weiliang Zhao. “A Temporal-Rule Based Verification System for Business Collaboration Reliability”. Revista de Informática Teórica e Aplicada 16, no. 2 (March 31, 2010): 65–68. Accessed February 3, 2023. https://seer.ufrgs.br/index.php/rita/article/view/rita_v16_n2_p65.