Gajser, D. Verifying Time Complexity of Turing Machines. IJCAI 2016, 40.