Copyright Loria-INRIA, Formal Methods Department. [CopyrightNotice]