@misc{indiciae31680be930b9,
  title = {Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness},
  author = {Chih-Hong Cheng and Christian Buckl and Javier Esparza and Alois Knoll},
  year = {2009},
  doi = {10.1109/ds-rt.2009.20},
  url = {https://arxiv.org/abs/0905.3951},
  note = {Source identifier: 0905.3951}
}