designing concurrent systems with a model based approach 2305336