Spécifications du langage temps réel — ECA automation