@inproceedings{ICEIS-v2-2012-LelionnaisBDRS,
	author        = "Cédrick Lelionnais and Matthias Brun and Jérôme Delatour and Olivier H. Roux and Charlotte Seidner",
	booktitle     = "{Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2}",
	isbn          = "978-989-8565-11-2",
	pages         = "407--414",
	publisher     = "{SciTePress}",
	title         = "{Formal Behavioral Modeling of Real-time Operating Systems}",
	year          = 2012,
}