A. Memon, I. Banerjee, и A. Nagarajan. Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on, стр. 164-173. (октября 2003)
R. Schmidberger, и S. Biermann. Informatik 2007 - Band 2, GI-Edition, (сентября 2007)MR: Zeigt beispielhaft die Anwendung von OCL für den Systemtest. Auch der Realisierungsweg wird gezeigt.
ISBN 978-3-88579-204-8.