Synthesis of live high level models for a class of FMS | Publicación