@inproceedings{ACT06,
title = {Monitoring and Fault Diagnosis with Digital Clocks },
author = {Altisen, Karine and Cassez, Franck and Tripakis, Stavros},
month = {June},
year = {2006},
booktitle = {Application of Concurrency to System Design (ACSD'06)},
address = {Turku, Finland},
team = {SYNC},
}
