Eckard Böde Marc Herbstritt Holger Hermanns Sven Johr Thomas Peikenkamp Reza Pulungan Jan Rakow Ralf Wimmer Bernd Becker Compositional Dependability Evaluation for STATEMATE. 274-292 2009 35 IEEE Trans. Software Eng. 2 http://dx.doi.org/10.1109/TSE.2008.102 db/journals/tse/tse35.html#BodeHHJPPRWB09