1. Avenhaus, J., Gotzhein, R., Härder, T., Litz, L., Madiener, K., Nehmer, J., Richter, M., Ritter, N., Rombach, D., Schürmann, B., Zimmermann, G.: Entwicklung großer Systeme mit generischen Methoden—Eine Übersicht über den Sonderforschungsbereich 501, Informatik, Forschung und Entwicklung, 13(4):227–234, Dezember 1998
2. Back, R. J. R.: A Calculus of Refinements for Program Derivations, Acta Informatica, 25:593–624, 1988
3. Booch, G., Rumbaugh, J. and Jacobson, I.: The Unified Modelling Language User Guide, Addison Wesley, Reading, Massachusetts, 1999
4. Börger, E., Gotzhein, R. (Guest Editors): Requirements Engineering: The Light Control Case Study, Special Issue of the Journal of Universal Computer Science, Springer, July 2000
5. Braek, R., Haugen, O.: Engineering Real Time Systems, Prentice Hall, 1993