Combining Time-Out and Non-Determinism in Real-Time Programming | Publicación