Simulation of Procedure Variables Using Ada Tasks | IEEE Journals & Magazine | IEEE Xplore