Title: Gestion des processus industriels temps réel: Des interruptions électroniques aux exécutifs multitâches