Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience | IEEE Conference Publication | IEEE Xplore