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