@Inproceedings{EPTCS39.7, author = {Andr\'e, \'Etienne}, year = {2010}, title = {IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata}, editor = {Chen, Yu-Fang and Rezine, Ahmed}, booktitle = {{\rm Proceedings 12th International Workshop on} Verification of Infinite-State Systems, {\rm Singapore, 21st September 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {39}, publisher = {Open Publishing Association}, pages = {91-99}, doi = {10.4204/EPTCS.39.7}, }