Handling temporal faults in Ada 2005 | Publicación