Florian Klein, Andreas Seibel and Holger Giese, "Shuttle System Case Study", 2004.
@Misc{Klein+2004,
AUTHOR = {Klein, Florian and Seibel, Andreas and Giese, Holger},
TITLE = {{Shuttle System Case Study}},
YEAR = {2004},
VOLUME = {Version 1.0},
ORGANIZATION = {Software Engineering Group University of Paderborn}
}