@inproceedings{EDOC-2012-BurattinMAS,
	author        = "Andrea Burattin and Fabrizio Maria Maggi and Wil M. P. van der Aalst and Alessandro Sperduti",
	booktitle     = "{Proceedings of the 16th International Enterprise Distributed Object Computing Conference}",
	doi           = "10.1109/EDOC.2012.15",
	isbn          = "978-1-4673-2444-1",
	pages         = "41--50",
	publisher     = "{IEEE Computer Society}",
	title         = "{Techniques for a Posteriori Analysis of Declarative Processes}",
	year          = 2012,
}