Support for a real-time transactional model in distributed Ada | Publicación