Programma's van sites.google.com/site/redlibtw/

* Model-controle / simulatie-controle bibliotheek voor real-time systeem met dichte-time modellen in C met CRD (Klok-Beperking Diagrammen) technologie. * Parametrische analysebibliotheek voor lineair-hybride systemen in C met