@inbook {Denil2011a,
	title = {Migrating from a Proprietary RTOS to the OSEK Standard Using a Wrapper},
	booktitle = {Lecture Notes in Electrical Engineering: Solutions on Embedded Systems},
	year = {2011},
	url = {http://www.springerlink.com/index/R317251N05375UW3.pdf},
	author = {Joachim Denil and Serge Demeyer and Paul De Meulenaere and Vanstechelman, Kris and Maudens, Kurt}
}
