@inproceedings{Bau2001,
Author = {Baufreton, P. and Le Sergent, T. and Segelken, M. and Brinkmann, H. and Strichman, O. and Winkelmann, K.},
Title = {SafeAir: Advanced design tools for aircraft systems and airborne software},

Year = {2001},
Month = {01},
Editor = {IEEE Computer Society},
Publisher = {IEEE Computer Society},
Isbn = {1},
Booktitle = {Proceedings of the 2001 International Conference on Dependable Systems and networks},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }