Verifying Time Complexity of Turing Machines. INF 2016, 40 (3).