COMBINING TIME-OUT AND NON-DETERMINISM IN REAL-TIME PROGRAMMING | Publicación