Source: https://www.adacore.com/uploads/techPapers/Ada2005_HIE_Sys.pdf