Distributed embedded safety critical real-time systems, design and verification aspects on the example of the time triggered architecture