Cost enforcement and deadline monitoring in the real-time specification for Java | IEEE Conference Publication | IEEE Xplore