Real-Time Java Programming: With Java RTS