The Production Cell: an exercise in the formal verification of a UML model | IEEE Conference Publication | IEEE Xplore