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