@inproceedings{CS00a,
title = {Threshold and Bounded-Delay Voting in Critical Control Systems },
author = {Caspi, Paul and Salem-Habermehl, Rym},
month = {September},
year = {2000},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems},
pages = {68--81},
series = {Lecture Notes in Computer Science},
volume = {1926},
team = {SYNC},
}