@misc{indiciae08d6db028449,
  title = {FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems},
  author = {Chih-Hong Cheng and Christian Buckl and Javier Esparza and Alois Knoll},
  year = {2009},
  url = {https://arxiv.org/abs/0905.3946},
  note = {Source identifier: 0905.3946}
}