@inproceedings{RE-2012-SmialekS,
	author        = "Michal Smialek and Tomasz Straszak",
	booktitle     = "{Proceedings of the 20th International Requirements Engineering Conference}",
	doi           = "10.1109/RE.2012.6345825",
	isbn          = "978-1-4673-2783-1",
	pages         = "321--322",
	publisher     = "{IEEE Computer Society}",
	title         = "{Facilitating transition from requirements to code with the ReDSeeDS tool}",
	year          = 2012,
}