H.: Conformance checking of service behavior (2007)

by W van der Aalst, M Dumas, C Ouyang, A Rozinat, Verbeek
Venue:ACM Transactions on Internet Technology (TOIT), Special