Cawley, Oisín; Wang, Xiaofeng; Richardson, Ita
(2012)
Software development within regulated settings is becoming more and more common place. Compliance typically involves saying what you do and doing what you say. However, in some domains, especially safety-critical ones, it ...