CAISARTS: a tool for real-time scheduling assistance | IEEE Conference Publication | IEEE Xplore