
@conference {inp:OchoaJuerjensCuellar2012a,
	title = {Non-interference on {UML} {S}tate-charts},
	booktitle = {Proceedings of the 50th International Conference on Objects, Models, Components, Patterns (TOOLS Europe 2012)},
	year = {2012},
	author = {M. Ochoa and J. J{\"u}rjens and J. C{\'u}ellar}
}
