@inproceedings{conf/eclipse/DIppolitoFFU07,
	title = {MTSA: Eclipse support for modal transition systems construction, analysis and elaboration.},
	author = {Nicolás D'Ippolito and Dario Fishbein and Howard Foster and Sebastián Uchitel},
	booktitle = {ETX},
	crossref = {conf/eclipse/2007},
	editor = {Li-Te Cheng and Alessandro Orso and Martin P. Robillard},
	pages = {6-10},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/eclipse/eclipse2007.html#DIppolitoFFU07},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2da798bd80e5b014ee6085e726073bc78/dblp},
	description = {dblp},
	date = {2008-06-17}, ee = {http://doi.acm.org/10.1145/1328279.1328281}, isbn = {978-1-60558-015-9},
	keywords = {dblp }
}