Architectural Techniques for the Description and Validation of Distributed Real-Time Systems. - Laurent Thomas; Thomas Lambolais; Renaud Lesiour (ISORC, 1999)