Gajser, D. Verifying Time Complexity of Turing Machines. Informatica 2016, 40 (3).