HARTEL PIETER H

Method and apparatus for deployment of high integrity software using static procedure return addresses