Title: Architectures, Languages and Techniques (Concurrent Systems Engineering Series)