Functional analysis: a system conceptual design tool [and application to ATC system] | IEEE Journals & Magazine | IEEE Xplore