Tarafından Programlar sites.google.com/site/redlibtw/

* CRD (Saat Kısıtlama Diyagramları) teknolojisiile C yoğun zamanlı modelleri ile gerçek zamanlı sistem için model-kontrol / simülasyon-kontrol kütüphane. * HRD (Hibrid-Kısıtlama Diyagramı) teknol ile C lineer-hibrid sistemler