What the model can talk about
Every safety-relevant thing is a typed part with regulator-relevant attributes: IntendedUse, ReasonablyForeseeableMisuse, SafetyRelatedCharacteristic, HazardCause, Hazard, SequenceOfEvents, HazardousSituation, Harm, Risk, RiskControlMeasure, ResidualRisk, Benefit, Requirement, Architecture, Behavior, VerificationCase, and Evidence.