Sun, Haiyang, Jian Yang, and Weiliang Zhao. 2010. “A Temporal-Rule Based Verification System for Business Collaboration Reliability”. Revista De Informática Teórica E Aplicada 16 (2):65-68. https://doi.org/10.22456/2175-2745.12571.