Robin E. Bloomfield Dan Craigen Frank Koob Markus Ullmann Stefan Wittmann Formal Methods Diffusion: Past Lessons and Future Prospects. 211-226 http://link.springer.de/link/service/series/0558/bibs/1943/19430211.htm 2000 conf/safecomp/2000 SAFECOMP db/conf/safecomp/safecomp2000.html#BloomfieldCKUW00