Distributed embedded control systems : improving dependability with coherent design (2008)