A Profile for Safety Critical Java | IEEE Conference Publication | IEEE Xplore