@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