@conference{OchoaJCTools12, author = "Mart{\'i}n Ochoa and Jan J{\"u}rjens and J. Cu{\'e}llar", booktitle = "50th International Conference on Objects, Models, Components, Patterns (TOOLS Europe 2012)", note = "PARTNERS: Siemens; PROJECTS: NESSoS, MoDelSec (RS3, DFG); Tier B; citations: 3", publisher = "Springer", series = "LNCS", title = "{N}on-interference on {UML} {S}tate-charts", year = "2012", }