A diagnostic framework for integrated time-triggered architectures | IEEE Conference Publication | IEEE Xplore