You want to send the following page to a friend: Coupling timed plant and controller models with urgent transitions without introducing deadlocks
Vérification antispam (required) Veuillez cocher la case "Je ne suis pas un robot"