Programy według sites.google.com/site/redlibtw/

* Biblioteka kontroli modelu/symulacji dla systemu czasu rzeczywistego z modelami o gęstym czasie w C z technologią CRD (Clock-Restriction Diagrams). * Biblioteka analizy parametrycznej dla systemów liniowo-hybrydowych w C z