Requirements elicitation and specification using the agent paradigm : the case study of an aircraft turnaround simulatorMiller, Tim; Lu, Bin; Sterling, Leon; Beydoun, Ghassan; Taveter, KuldarIEEE transactions on software engineering2014 / p. 1007-1024 : ill