Juan Carlos Augusto Y. Howard Andrew M. Gravell Carla Ferreira Stefan Gruner Michael Leuschel Model-Based Approaches for Validating Business Critical Systems. 225-233 2003 conf/step/2003 STEP http://doi.ieeecomputersociety.org/10.1109/STEP.2003.19 db/conf/step/step2003.html#AugustoHGFGL03