https://jatawarohi.kurt-haspel.com/point-processes-and-queues-book-34501ic.php