PFKiNaT (DFG)
ProDiS (MWG RLP)
techMO (DFG)