OCL meets CTL: Towards CTL-Extended OCL Model Checking.

Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl

Browse the full MODELS paper archive.