https://123dok.net/document/q5mn7673-modélisation-processeur-exécution-simultanée-flots-temps-réel-strict.html