@article {89,
	title = {Synthesizing Modal Transition Systems from Triggered Scenarios},
	journal = {IEEE Transactions on Software Engineering},
	volume = {39},
	year = {2013},
	pages = {975-1001},
	issn = {0098-5589},
	doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2012.62},
	author = {German Emir Sibay and V{\'\i}ctor A. Braberman and Sebasti{\'a}n Uchitel and Jeff Kramer}
}