Modélisation et résolution de problèmes d'ordonnancement à l'aide d'automates temporisés