Liste des plugins utilisants "fr.inria.aoste.timesquare.launcher.core"  : 
fr.inria.aoste.sequencediagram
fr.inria.aoste.trace.vcd
fr.inria.aoste.simulator.trace
fr.inria.aoste.behavior
fr.inria.aoste.timesquare.launcher.ui
fr.inria.aoste.solver.compiled
fr.inria.aoste.marte.ccslmodel.solver
fr.inria.aoste.marte.ccsl.papyrus.modelanimator
fr.inria.aoste.solver.compiled2
fr.inria.aoste.solver.compiled5
fr.inria.aoste.solver.compiled6
