The production cell: an exercise on the formal verification of a UML model (1999)

by J Lilius, I P Paltor
Venue:ISBN 952-12-0480-X, ISSN