Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience. - Mehrdad Sabetzadeh; Shiva Nejati 001; Lionel C. Briand; Anne-Heidi Evensen Mills (HASE, 2011)