Mercedes G. Merayo, Manuel Núñez. Derivation of Tests from Timed Specifications According to Different Coverage Criteria. In The Third International Conference on Systems, ICONS 2008, April 13-18, 2008, Cancun, Mexico. pages 97-102, IEEE Computer Society, 2008. [doi]
Abstract is missing.