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. 208-215 2009 DS-RT http://doi.ieeecomputersociety.org/10.1109/DS-RT.2009.20 conf/dsrt/2009 db/conf/dsrt/dsrt2009.html#ChengBEK09