Sun, H., J. Yang, and W. Zhao. “A Temporal-Rule Based Verification System for Business Collaboration Reliability”. Revista De Informática Teórica E Aplicada, vol. 16, no. 2, Mar. 2010, pp. 65-68, doi:10.22456/2175-2745.12571.