Jonathan P. Bowen Michael G. Hinchey Ten Commandments of Formal Methods ...Ten Years Later. 40-48 2006 39 IEEE Computer 1 http://doi.ieeecomputersociety.org/10.1109/MC.2006.35 db/journals/computer/computer39.html#BowenH06