Atur cara mengikut sites.google.com/site/redlibtw/

* Perpustakaan pemeriksaan model/semakan simulasi untuk sistem masa nyata dengan model masa padat dalam C dengan teknologi CRD (Gambar rajah Sekatan Jam). * Perpustakaan analisis parametrik untuk sistem hibrid linear dalam C