TITLE     : Representation of SADT Models in LOTOS
AUTHOR(S) : Bolognesi T, Ciaccio G
TYPE      : Other
YEAR      : 1993
CODE      : 411386

*** DO NOT EDIT THIS FILE ***