Modeling of Safety Architectures in Automotive Systems