A method for designing asynchronous probabilistic processes