Message Correlation and Business Protocol Discovery in Service Interaction Logs. - Belkacem Serrour; Daniel P. Gasparotto; Hamamache Kheddouci; Boualem Benatallah (CAiSE, 2008)