Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience