Requirements Elicitation and Specification Using the Agent Paradigm: The Case Study of an Aircraft Turnaround Simulator | IEEE Journals & Magazine | IEEE Xplore