C. Nebut, F. Fleurey, Y. Traon, und J. Jézéquel. ISSRE '03: Proceedings of the 14th International Symposium on Software Reliability Engineering, Seite 85. Washington, DC, USA, IEEE Computer Society, (2003)
R. Schmidberger, und S. Biermann. Informatik 2007 - Band 2, GI-Edition, (September 2007)MR: Zeigt beispielhaft die Anwendung von OCL für den Systemtest. Auch der Realisierungsweg wird gezeigt.
ISBN 978-3-88579-204-8.