SafeX: Open Source Hardware and Software Components for Safety-Critical Systems | IEEE Conference Publication | IEEE Xplore