Chương trình theo sites.google.com/site/redlibtw/

* Thư viện kiểm tra mô hình / mô phỏng kiểm tra cho hệ thống thời gian thực với các mô hình thời gian dày đặc trong C với công nghệ CRD (Sơ đồ hạn chế đồng hồ). * Thư viện phân tích tham số cho các hệ thống kết hợp tuyến tính