Modeling and Analysis of Embedded Real-Time Systems in the Automotive Safety Domain