Modelling Complex Software Systems Concurrency Project