Michael D. Harrison Mark-Alexander Sujan Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings 5219 2008 978-3-540-87697-7 SAFECOMP Lecture Notes in Computer Science Springer db/conf/safecomp/safecomp2008.html