Modeling functional requirements to support traceability analysis - Kececi, Nihal; Garbajosa, Juan; Bourque, Pierre (2006 Ieee International Symposium On Industrial Electronics, Vols 1-7, 2006)