"A mutation-based framework for automated testing of timeliness" - читать интересную книгу автора (Robert Nilsson.)