A toolkit for automated support of Ada tasking analysis | IEEE Conference Publication | IEEE Xplore