Ada 2005 & high integrity systems