Design and Validation of Concurrent Systems