@article{artho-eurocast2009,
  author={C. Artho},
  title = {Separation of Transitions, Actions, and Exceptions in Model-based Testing},
  journal={Post-proceedings of 12th Int.\  Conf.\ on Computer Aided Systems Theory (Eurocast~2009)},
  year={2009},
  volume = {5717},
  number = {},
  pages = {279--286},
  publisher={Springer},
  series = {LNCS},
}