Based on a research programme by the Halser Foundation launched in 2002 which culminated in two workshops held in Münchenwiler, Switzerland, March 16-17 and Löwenburg, Switzerland, on October 1-14 2005.
Dependable systems : software, computing, networks : research results of the DICS program. ISBN 9783540368212. Published by Springer in 2006. Publication and catalogue information, links to buy online and reader comments.