Antonio Cerone Simon Connelly Peter A. Lindsay Formal analysis of human operator behavioural patterns in interactive surveillance systems. 273-286 2008 7 Software and System Modeling 3 http://dx.doi.org/10.1007/s10270-007-0072-x db/journals/sosym/sosym7.html#CeroneCL08