@InProceedings{helmstet:fmics06, author = {Claude Helmstetter and Florence Maraninchi and Laurent Maillet-Contoz}, title = {Test Coverage for Loose Timing Annotations}, booktitle = {11th International Workshop on Formal Methods for Industrial Critical Systems}, year = 2006, publisher = {Springer-Verlag}, month = {August} }