Toward a formal model for component interfaces for real-time systems | Publicación