Program menurut sites.google.com/site/redlibtw/

* Perpustakaan pengecekan model / pengecekan simulasi untuk sistem real-time dengan model padat waktu di C dengan teknologi CRD (Diagram Pembatasan Jam). * Perpustakaan analisis parametrik untuk sistem linear-hybrid di C deng