FTA models 0, 1 and 2 complete

AADL models to show aspects of the Fault Tree Report