@inproceedings{RE-2009-PostSMGK,
	author        = "Hendrik Post and Carsten Sinz and Florian Merz and Thomas Gorges and Thomas Kropf",
	booktitle     = "{Proceedings of the 17th International Requirements Engineering Conference}",
	doi           = "10.1109/RE.2009.43",
	isbn          = "978-0-7695-3761-0",
	pages         = "295--302",
	publisher     = "{IEEE Computer Society}",
	title         = "{Linking Functional Requirements and Software Verification}",
	year          = 2009,
}