An integrated approach to high integrity software verification. - William James Ellis (2010)