Colnaric M. Distributed embedded control systems : improving dependability with coherent design / M. Colnaric, W. A. Halang, D. Verber, 2008 r=on-line