Distributed real-time system design using CBS-based end-to-end scheduling | IEEE Conference Publication | IEEE Xplore