Dependable systems: software, computing, networks : research results of the DICS program / SpringerLink (Online service), 2006 r=on-line