Derivation of Tests from Timed Specifications According to Different Coverage Criteria | Publicación