Computer safety, reliability, and security : 32nd international conference, SAFECOMP 2013, Toulouse, France, September 24-27 2013 : proceedings. ISBN 9783642407925. Published by Springer in 2013. Publication and catalogue information, links to buy online and reader comments.