Development of Security Software: A High Assurance Methodology. - David S. Hardin; T. Douglas Hiratzka; D. Randolph Johnson; Lucas G. Wagner; Michael W. Whalen (ICFEM, 2009)