Simplifying the Dualized Threading Model of RTSJ | IEEE Conference Publication | IEEE Xplore