Our paper “CTMCs with imprecisely timed observations” has been accepted for presentation at TACAS 2024!