[1]
H. Sun, J. Yang, and W. Zhao, “A Temporal-Rule Based Verification System for Business Collaboration Reliability”, RITA, vol. 16, no. 2, pp. 65–68, Mar. 2010.