The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). ...