TITLE     : Formal system specification
AUTHOR(S) : Paternò F., Santoro C., Navarre D., Palanque P., Ousmane S., Bastide R., Le Duc H.
TYPE      : Other
YEAR      : 1999
CODE      : 407878

*** DO NOT EDIT THIS FILE ***