Méthode de génération d'exécutifs temps-réel. (Process of real-time operating systems generation). - Toussaint Tigori (2016)