Title: On design of complex safety critical automotive systems