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