Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler. Formalizing UML Models and OCL Constraints in PVS. Electronic Notes in Theoretical Computer Science, 115:39-47, 2005. [doi]
Abstract is missing.