(1)
Sun, H.; Yang, J.; Zhao, W. A Temporal-Rule Based Verification System for Business Collaboration Reliability. RITA 2010, 16, 65-68.