Reference: B. K. Aichernig, K. Hörmaier, and F. Lorber.
Debugging with timed automata mutations.
In A. Bondavalli and F. Di Giandomenico, editors, Computer Safety,
Reliability, and Security, volume 8666 of Lecture Notes in Computer
Science, pages 49-64. Springer International Publishing, 2014.
www-data,
2020-09-10