Optimizing the Generation of Object-Oriented Real-Time Embedded Applications Based on the Real-Time Specification for Java | IEEE Conference Publication | IEEE Xplore