MÉTÉOR : An Industrial Success in Formal Development. - Patrick Behm; Pierre Desforges; Jean-Marc Meynadier (B, 1998)