A built-in-support-function (BISF) for Ada software | IEEE Conference Publication | IEEE Xplore