M. Herbstritt et al., "Compositional Dependability Evaluation for STATEMATE," in IEEE Transactions on Software Engineering, vol. 35, no. , pp. 274-292, 2008.
doi:10.1109/TSE.2008.102
keywords:{Real-time and embedded systems; Fault tolerance; Modeling techniques; Reliability; availability; and serviceability; Model checking; Reliability; Design notations and documentation; State diagrams},
url:doi.ieeecomputersociety.org/10.1109/TSE.2008.102