https://5dok.net/document/q2n6947p-earlier-better-theory-timed-actor-interfaces.html