Improved safety analysis through enhanced mathematical structures | IEEE Conference Publication | IEEE Xplore