modelling systems with asynchronous parallel processes
scientific article