Juan Carlos Augusto, Y. Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel. Model-Based Approaches for Validating Business Critical Systems. In 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 19-21 September 2003, Amsterdam, The Netherlands. pages 225-233, IEEE Computer Society, 2003. [doi]
Abstract is missing.