Sara Jones Neil A. M. Maiden Sharon Manning John Greenwood Informing the Specification of a Large-Scale Socio-technical System with Models of Human Activity. 175-189 2007 conf/refsq/2007 REFSQ http://dx.doi.org/10.1007/978-3-540-73031-6_13 db/conf/refsq/refsq2007.html#JonesMMG07