@inproceedings{Augusto03c,
  title      = {Model-Based Approaches for Validating Business Critical Systems},
  DOI        = {10.1109/step.2003.19},
  booktitle  = {Eleventh Annual International Workshop on Software Technology and Engineering Practice},
  publisher  = {IEEE},
  author     = {Augusto, J. and Howard, Y. and Gravell, A. and Ferreira, C. and Gruner, S. and Leuschel, M.},
  pages      = {225–233},
  year       = {2003},
}