A high-level requirements engineering methodology for electronic system-level design. - Nicolas Gorse; P. Bélanger; Alexandre Chureau; El Mostapha Aboulhamid; Yvon Savaria (Comput. Electr. Eng., 2007)