A Formalism for Architectural Modeling of Distributed Real-Time Systems