@techreport{pronk2010,
	author          = {C. Pronk},
	title           = {Verifying RTOS; a feasibility study},
	institution     = {Delft University of Technology},
	year            = {2010},
	month           = {Nov},
	number          = {TUD-SERG-2010-042},
	address         = {Mekelweg 4, Delft, Netherlands},
	note            = {pp 1 .. 16},
	placeofissue    = {Delft},
	isbn            = {1872-5392},
	url             = {http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2010-042.pdf},
	topic           = {Testing},
	group           = {SE}
}