@INPROCEEDINGS {
	AUTHOR = "Cecilia Bastarrica and Julio Ariel Hurtado and Alexandre Bergel",
	TITLE = "Toward Lean Development in Formally Specified Software Processes",
	EDITOR = "Richard Messnarz and Damjan Ekert and Mads Christiansen and Jorn Johansen and Sonja Koinig",
	BOOKTITLE = "18th European System \& Software Process Improvement and Innovation (EuroSPI)",
	PAGES = "5.11-5.21",
	MONTH = "Jun",
	YEAR = "2011",
	ADDRESS = "Roskilde, Denmark",
	NOTE = "Industrial Proceedings",
	}