Real-Time Core Extensions for the Java Platform