E. Douglas Jensen The distributed real-time specification for Java: an initial proposal. 65-70 2001 16 Comput. Syst. Sci. Eng. 2 db/journals/csse/csse16.html#Jensen01