@inproceedings{ICEIS-DISI-2007-Aalst,
	author        = "Wil M. P. van der Aalst",
	booktitle     = "{Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume 1: DISI}",
	isbn          = "978-972-8865-88-7",
	pages         = "5--9",
	title         = "{Trends in business process analysis — from verification to process mining}",
	year          = 2007,
}