Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness

Chih-Hong Cheng Christian Buckl Javier Esparza Alois Knoll Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness http://arxiv.org/abs/0905.3951 2009 CoRR abs/0905.3951 db/journals/corr/corr0905.html#abs-0905-3951 informal publication