A distributed real-time Java system based on CSP | IEEE Conference Publication | IEEE Xplore