Composable Safety-Critical Systems Based on Pre-certified Software Components | IEEE Conference Publication | IEEE Xplore