@inproceedings{Bau2002,
Author = {Baufreton, P. and Dupont, F. and Leviathan, R. and Segelken, M. and Winkelmann, K.},
Title = {Constructing correct systems in the SafeAir project},

Year = {2002},
Month = {01},
Isbn = {1},
Booktitle = {Multiconference on Systemics, Cybernetics and Informatics (SCI2002)},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }