D. Gajser, “Verifying Time Complexity of Turing Machines”, IJCAI, vol. 40, no. 3, Nov. 2016.