Graeme Smith Extending Formal Methods for Software-Intensive Systems. 146-161 2008 Software-Intensive Systems and New Computing Paradigms http://dx.doi.org/10.1007/978-3-540-89437-7_10 series/lncs/5380 db/series/lncs/lncs5380.html#Smith08