Product DescriptionState of the art quality assurance for safety critical software systems requires formal methods for verification and testing. One of the drawbacks using formal methods to model large systems is the state explosion of transition systems generated from formal specifications. The authors present an approach to reduce the problem of state explosions using a [...]