Model-based approaches for validating business critical systems

Authors

A. Gravell, Y. Howard, J. Augusto, Carla Ferreira, Michael Leuschel,