Dingwall-Smith, A.R.; (2006) Run-time monitoring of goal-oriented requirements specification. Doctoral thesis , University of London.