selected publications blog posting TarTar: A Timed Automata Repair Tool. arXiv (Cornell University). 2020 chapter TarTar: A Timed Automata Repair Tool. Springer eBooks. 529-540. 2020