EMFtoCSP: a tool for the lightweight verification of EMF models.

Carlos A. Gonzlez, Fabian Bttner, Robert Claris, Jordi Cabot

Browse the full ICSE paper archive.