(*
 * The LOTOS specifications "bitalt_service.lotos", "bitalt_protocol.lotos",
 * and "bitalt_mistake.lotos" are compiled using the CAESAR.ADT and CAESAR
 * compilers. The generated labelled transition systems are named respectively
 * "bitalt_service.bcg", "bitalt_protocol.bcg", and "bitalt_mistake.bcg".
 *)

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

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

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