An architecture for incremental prototyping of distributed real-time systems | Publicación