@inproceedings{FSE-2004-GieseBSO,
	author        = "Holger Giese and Sven Burmester and Wilhelm Schäfer and Oliver Oberschelp",
	booktitle     = "{Proceedings of the 12th International Symposium on Foundations of Software Engineering}",
	doi           = "10.1145/1029894.1029920",
	editor        = "Richard N. Taylor and Matthew B. Dwyer",
	isbn          = "1-58113-855-5",
	pages         = "179--188",
	publisher     = "{ACM}",
	title         = "{Modular design and verification of component-based mechatronic systems with online-reconfiguration}",
	year          = 2004,
}