David, Larsen, Li, Nielsen, 2009. Timed Testing under Partial Observability, in: . IEEE.. https://doi.org/10.1109/icst.2009.38