Efficient handling of the fault space in functional safety analysis utilizing formal methods | IEEE Conference Publication | IEEE Xplore