@techreportHer2006, Author = {Herbstritt, Marc and Wimmer, Ralf and Peikenkamp, Thomas and Böde, Eckard and Adelaide, Michael and Johr, Sven and Hermanns, Holger and Becker, Bernd},Title = {Analysis of Large Safety-Critical Systems: A quantitative Approach},Year = {2006},Month = {02},Editor = {SFB/TR 14 AVACS, http://www.avacs.org},Series = {ATR},Edition = {8},Isbn = {1860-9821},Booktitle = {AVACS Technical Report},type = {techreport} @COMMENTBibtex file generated on