Formal Modeling of Data. A Case Study for Space Applications. - Jean-Paul Blanquart; Gérard Bulsa; David Lesens; George Mamais; Maxime Perrotin (ISoLA, 2007)