LAAS (Toulouse)
    LIFL (Laboratoire d'informatique fondamentale de LILLE)
    INRIA - Projet macsi (Modélisation et synthèse des systèmes industriels)
    amadeus - inria (Modèle MIN-Plus des RdP).
    masi.95 (A symbolic transition system for a subset of VHDL'87)
    CCR jussieu
    ENST bretagne (Commandes UNIX)