-- generate the LTSs of all the LOTOS specifications, but the largest two ones

% for FILE in `ls scen1_*.lotos scen2_*[12].lotos scen3_*.lotos`
% do
%     FILE=`basename $FILE .lotos`
      "$FILE.bcg" = generation of "$FILE.lotos" ;
% done