@InProceedings{ticc-dagstuhl06,
  author ={Axel Legay and Luca de Alfaro and Marco Faella},
  title ={An Introduction to the Tool Ticc},
  booktitle ={Workshop "Trustworthy Software" 2006 },
  year ={2006},
  editor ={Serge Autexier and Stephan Merz and Leon van der Torre and Reinhard Wilhelm and Pierre Wolper},
  publisher ={Internationales Begegnungs- und Forschungszentrum f{"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address ={Dagstuhl, Germany},
  URL ={http://drops.dagstuhl.de/opus/volltexte/2006/766},
  annote ={Keywords: Open system, game, interface automata},
  ISBN ={978-3-939897-02-6}
}