A Formal Analysis of Iterated TDD. - Hemil Ruparel; Nabarun Mondal (CoRR, 2024)