Sources for benchmarks:

ccp*, cruise_controller*, microwave*: Based on problems provided by 
  Rockwell Collins

steam_boiler*: Based on problems from
  Thierry Cattel and Gregory Duval. "The Steam-Boiler Problem in Lustre."
  Formal Methods for Industrial Applications.  Springer-Verlag, 1996.  
  pp 149-164.


Please note that many of these benchmarks contain deliberately introduced
modifications to alter their behaviors, and do not necessarily reflect the
original creator's design intentions.
