@inproceedings{AMS:TACAS:16,
 author    = "M. Avanzini and G. Moser and M. Schaper",
 title     = {{TcT: Tyrolean Complexity Tool}},
 booktitle = "Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
 series    = "Lecture Notes in Computer Science",
 volume    = "9636",
 year      = 2016,
 pages     = "407--423",
 publisher = "Springer Verlag Heidelberg",
}