Wil M. P. van der Aalst Trends in business process analysis - from verification to process mining. 5-9 2007 conf/iceis/2007-1 ICEIS (1) db/conf/iceis/iceis2007-1.html#Aalst07