Safety analysis for integrated circuits in the context of hybrid systems | IEEE Conference Publication | IEEE Xplore