Www.his.se Verification of an industrial rule- based manufacturing system using REX AnnMarie Ericsson University of Skövde, Sweden Mikael Berndtsson University.
1 Model-Checking Behavioral Programs Assaf Marron Weizmann Institute of Science.