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