@ARTICLE {
	AUTHOR = "Julio Ariel Hurtado Alegria and Cecilia Bastarrica and Alexandre Bergel",
	TITLE ="Avispa: A Tool for Analyzing Software Process Models",
	JOURNAL = "Journal of Software: Evolution and Process (JSEP)",
	VOLUME = "26",
	NUMBER = "4",
	PAGES = "434-450",
	MONTH = "Apr",
	YEAR = "2014",
	PUBLISHER = "John Wiley \& Sons",
	ADDRESS = "Hoboken, NJ, USA",
	ISSN = "2047-7481"
	}