A Framework for Describing Real-Time Systems | Publicación