https://bixafepovuhyry.johnsonout.com/analysing-performance-of-open-queueing-systems-with-stochastic-process-algebras-book-39400cv.php