Chen, D., Johansson, R., Lönn, H., Blom, H., Walker, M., Papadopoulos, Y., Torchiaro, S., Tagliabo, F., Sandberg, A., "Integrated safety and architecture modeling for automotive embedded systems", , 2011