https://5dok.net/document/eqom43jz-temporele-logica-specificatie-message-passing-real-time-systemen.html