Ammann, P. and Black, P. (1999) A Specification-Based Coverage Metric to Evaluate Test Sets. Proceedings of the 4th IEEE International Symposium on High Assurance Systems and Engineering, Washington DC, 1999, 239-248.
http://dx.doi.org/10.1109/HASE.1999.809499

has been cited by the following article: