add: MoonWalker, SMV, Cadence SMV, Esterel, CEC, scdata, Ocjava, Lustre, MATOU, SIGNAL, Polychrony, SyncCharts, SPORTS Project, SCC, TGV, Averest, zChaff, MiniSat, CMU tools list, SYNALP