Modelling the behaviour of Ada tasks and verifying its safety | IEEE Conference Publication | IEEE Xplore