@inproceedings{ESGY-WMC15,
	author = {Ekberg, Pontus and Stigge, Martin and Guan, Nan and Yi, Wang},
	title = {State-Based Mode Switching with Applications to Mixed-Criticality Systems},
	booktitle = {Proceedings of the 1st International Workshop on Mixed Criticality Systems (WMC)},
	year = {2013}
}