Instrumenting AUTOSAR for dependability assessment: A guidance framework | IEEE Conference Publication | IEEE Xplore