The application of new mathematical structures to safety analysis | IEEE Conference Publication | IEEE Xplore