https://123dok.net/document/q5m33pn7-stationary-remaining-service-time-queueing-systems.html