An Ontological Analysis of Safety-Critical Software and Its Anomalies | IEEE Conference Publication | IEEE Xplore