This example is used for our demos, it is the result of the following
operations:
* AccessControl: Design an Access Control model.
* Deploy: Create a deployment diagram for deploying several instances of bLocal
  and run scenario.csv against it (Generate/Execute Deployment profiles).
* Create three different architecture: MonoCore, Balanced, and Unbalanced.
* xLIA0001: Generate the TTCN-3 with PragmaList tool (Validation/Checking...).
* OptimizedPerformance is a performance analysis configuration of the three
  different architectures against the generated test cases.
* MyDoc is an automatically generated document.
* CustomerRequirements is a traceability table with test information coming from
  the CodeCoverage1 information, result of the execution of the test cases
  coming from PragmaList on the model.

Suggested manipulations:
* Select AccessControl and launch an execution.
* Select the Deploy deployment diagram and launch an execution.
* Select the TTCN_TestsAndControl.ttcn3 (in xLIA0001 -> output -> ttcn) and
  launch a simulation. Make sure to check the 'Reset system before each testcase
  execution' checkbox if you select several testcases in the 'Execute TTCN
  testcases' window. It is also better to set the 'Timers' option in the
  'Options' menu to 'Fire timers automatically' to prevent the simulation from
  being too long.
  (NB: a simulation or code generation on TTCN_ControlPart.ttcn3 will not work,
  as all the tests would be chained and they are not supposed to be, because the
  tests do not put back the system in its initial state at the end).
* Select the OptimizePerformance.rda and Start analysis.
