In this paper, we present our experience of using rich and detailed models of human activity in an existing socio-technical system in the domain of air traffic control to inform a use case-based specification of an enhanced future system, called DMAN. This work was carried out as part of a real project for Eurocontrol, the European Organisation for the Safety of Air Navigation. We describe, in outline, the kinds of models we used, and present some examples of the ways in which these models influenced the specification of use cases and requirements for the future system. We end with a discussion of lessons learnt.