Keynote 1: “Analysis of design parameters in safety-critical systems” | IEEE Conference Publication | IEEE Xplore