По-моему где-то уже была такая тема, но не могу её найти.

Investigating Real-Time Specifications for C#
Towards Integrating Hard Real-Time Capabilities with Time-Oblivious Applications in C#
    https://wiki.epfl.ch/edicpublic/documents/Candidacy exam/flaviuwriteup.pdf