"OCL-Based Runtime Monitoring of Applications with Protocol State Machines."

Lars Hamann, Oliver Hofrichter, Martin Gogolla (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics