Application of CASE tools in the development of commercial avionics software. - Lance Sherry; Arturo Suarez; Phil Wolfe (SMC, 1998)