A profile for high-integrity real-time Java programs | IEEE Conference Publication | IEEE Xplore