Derivation of Tests from Timed Specifications According to Different Coverage Criteria | IEEE Conference Publication | IEEE Xplore