An extensible infrastructure for modeling and time analysis of predictable embedded systems | IEEE Conference Publication | IEEE Xplore