Package org.osate.aadl2.errormodel.analysis