It contains the models derived by the participants of two controlled experiments conducted to evaluate aToucan. It also contains models generated by the aToucan for a number of case studies including ATM, Elevator. References models are also included in this package.