@inproceedings{BLM01,
title = {{M}odel-{C}hecking {A}riane-5 {F}light {P}rogram },
author = {Bozga, Marius and Lesens, David and Mounier, Laurent},
year = {2001},
booktitle = {Proceedings of FMICS'01 (Paris, France)},
pages = {211--227},
publisher = {INRIA},
team = {DCS,PACSS},
}