Static composition of service-based real-time applications | IEEE Conference Publication | IEEE Xplore