(2008) Analysing Monitoring and Switching Requirements using Constraint Satisfiability Department of Computing; Faculty of Maths, Computing and Technology, UK ( View/download or click for full details)

(2007) Specifying Monitoring and Switching Problems in Context Proceedings of 15th IEEE International Requirements Engineering Conference, India, Habitat Centre, New Delhi ( View/download or click for full details)