@inproceedings{Gross.2006:CBD,
	author          = {H.-G. Gross and A.J.C. van Gemund},
	title           = {Bridging the Gap between Non-formal and Formal Software Component Requirements Specifications for Embedded System Engineering},
	booktitle       = {1st International Workshop on Foundations and Applications of Component-based Design},
	publisher       = {6th ACM and IEEE Conference on Embedded Software (EMSOFT’06)},
	year            = {2006},
	month           = {October},
	url             = {http://www.st.ewi.tudelft.nl/~gross/Publications/Gross_2006_CBD.pdf},
	group           = {SE}
}