author = {M. Herbstritt and S. Johr and H. Hermanns and B. Becker and T. Peikenkamp and J. Rakow and R. Pulungan and E. Böde and R. Wimmer},
journal = {IEEE Transactions on Software Engineering},
title = {Compositional Dependability Evaluation for STATEMATE},
year = {2008},
volume = {35},
number = {},
pages = {274-292},
keywords={Real-time and embedded systems; Fault tolerance; Modeling techniques; Reliability; availability; and serviceability; Model checking; Reliability; Design notations and documentation; State diagrams},
doi = {10.1109/TSE.2008.102},
url = {doi.ieeecomputersociety.org/10.1109/TSE.2008.102},
ISSN = {0098-5589},