designing concurrent systems with a model based approach 3085950