"The Production Cell: An Exercise in the Formal Verification of a UML Model."

Johan Lilius, Ivan Paltor (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics