@INPROCEEDINGS {
	AUTHOR = "Julio Ariel Hurtado and Cecilia Bastarrica and Alexandre Bergel",
	TITLE = "Analyzing Software Process Models with AVISPA",
	EDITOR = "David Raffo and Dietmar Pfahl and Li Zhang",
	BOOKTITLE = "5th International Conference on Software and System Process (ICSSP)",
	PAGES = "23-32",
	MONTH = "May",
	YEAR = "2011",
	ADDRESS = "Honolulu, Hawaii, USA",
	PUBLISHER = "ACM Press",
	}