@inproceedings{Kang:2003,
	author          = {Bas Graaf and Eun Young Kang and Marco Lormans and Hans Toetenel},
	title           = {Integrating Model Checking in the Embedded Software Engineering Process},
	booktitle       = {Proceedings of the Work in Progress Session of the 24th IEEE Real-Time Systems Symposium},
	year            = {2003},
	organization    = {RTSS 2003},
	url             = {http://www.isa.ewi.tudelft.nl/~moose/pub/reports/RTSS2003WIP.pdf},
	project         = {Moose},
	group           = {SE}
}