PBT meets TDD