@inproceedings{artho09eurocast,
  author = {C. Artho},
  title = {Separation of Transitions, Actions, and Exceptions in Model-based Testing},
  booktitle = {Proc.\ 12th Int.\ Conf.\ on Computer Aided Systems Theory (Eurocast~2009)},
  year = {2009},
  pages = {95--96},
  address = {Las Palmas, Spain},
}