Definition of a High Level Language for Real-Time Distributed Systems Programming | IEEE Conference Publication | IEEE Xplore