Leram - Distributed Embedded Control Systems: Improving Dependability with Coherent Design