Cindy Eisner Formal verification of software source code through semi-automatic modeling. 14-31 2005 4 Software and System Modeling 1 http://www.springerlink.com/index/10.1007/s10270-003-0042-x db/journals/sosym/sosym4.html#Eisner05