vUML: A Tool for Verifying UML Models. - Johan Lilius; Ivan Paltor (ASE, 1999)

Formalising UML State Machines for Model Checking. - Ivan Paltor; Johan Lilius (UML, 1999)

Analysing UML Use Cases as Contracts. - Luigia Petre; Ralph-Johan Back; Ivan Paltor (UML, 1999)

The Production Cell: An Exercise in the Formal Verification of a UML Model. - Johan Lilius; Ivan Paltor (HICSS, 2000)