Automatically generating Ada95 codes for concurrent objects | IEEE Conference Publication | IEEE Xplore