Computer safety, reliability and security : 31st international conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28 2012 : proceedings. ISBN 9783642336775. Published by Springer in 2012. Publication and catalogue information, links to buy online and reader comments.