Scenarios and state machines: models, algorithms, and tools

@inproceedings{Uchitel-al:ICSE02,
  author    = {Sebasti{\'{a}}n Uchitel and
               Tarja Syst{\"{a}} and
               Albert Z{\"{u}}ndorf},
  title     = {Scenarios and state machines: models, algorithms, and tools},
  booktitle = {ICSE},
  pages     = {659--660},
  publisher = {{ACM}},
  year      = {2002},
}