https://123dok.net/document/7qvndllz-proartis-probabilistically-analysable-real-time-systems.html