UM-RTCOM: An analyzable component model for real-time distributed systems | Publicación