Daniel Jackson A direct path to dependable software. 78-88 2009 52 Commun. ACM 4 http://doi.acm.org/10.1145/1498765.1498787 db/journals/cacm/cacm52.html#Jackson09