(* The LOTOS specifications are processed by the CAESAR.ADT/CAESAR compilers *)

% for PARAMS in 1_1 1_2 1a_1 1a_2 1a_3 2_1 2a_1 3_1 5_1 6_1
% do
    "co4_$PARAMS.bcg" = generation of "co4_$PARAMS.lotos";
% done

(* note: co4_4_1 is skipped due to complexity issues *)