Developments in mathematical models of human pilot behaviour