(*
 * The LOTOS specification of the CFS is compiled using the CAESAR.ADT and
 * CAESAR compilers to generate an LTS called "cfs.bcg". Composition
 * generation is not used here, although it is could have been used.
 *)

"cfs.bcg" = generation of "cfs.lotos";