Schedulability analysis of server-based error-recovery mechanisms for time-triggered systems | IEEE Conference Publication | IEEE Xplore