@conference {333,
	title = {Revisiting Compatibility of Input-Output Modal Transition Systems},
	booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings},
	year = {2014},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-319-06410-9_26},
	url = {http://dx.doi.org/10.1007/978-3-319-06410-9_26},
	author = {Krka, Ivo and Nicol{\'a}s D{\textquoteright}Ippolito and Medvidovic, Nenad and Sebasti{\'a}n Uchitel},
	editor = {Cliff B. Jones and Pekka Pihlajasaari and Jun Sun}
}