@inproceedings{Boz2003,Author = {Bozzano, M. and Villafiorita, A. and Åkerlund, O. and Bieber, P. and Bougno, C. and Böde, E. and Bretschneider, M. and Cavallo, A. and Castel, C. and Cifaldi, M. and Cimatti, A. and Griffault, A. and Kehren, C. and Lawrence, B, and Lüdtke, A.},Title = {ESACS: An integrated methodology for design and safety analysis of complex systems},Year = {2003},Month = {01},Editor = {Taylor \& Francis},Publisher = {Taylor \& Francis},Isbn = {1},Booktitle = {Safety and Reliability - Proceedings of the ESREL 2003 Conference},type = {inproceedings}}@COMMENT{Bibtex file generated on }