Combining the Description Features of UMLRT and CSP+T Specifications Applied to a Complete Design of Real-Time Systems | Publicación