This is autogenerated code using Qgen from the DO-333 case study to be
found here:

http://shemesh.larc.nasa.gov/fm/DO-333-case-studies.html

Note that this variant contains both the actual model and the
requirements as generated code.
