द्वारा कार्यक्रम sites.google.com/site/redlibtw/

* सीआरडी (घड़ी-प्रतिबंध आरेख) प्रौद्योगिकी के साथ सी में घने समय मॉडल के साथ वास्तविक समय प्रणाली के लिए मॉडल-चेकिंग/सिमुलेशन-चेकिंग लाइब्रेरी। * एचआरडी (हाइब्रिड-प्रतिबंध आरेख) टेक्नोल के साथ सी में रैखिक-हाइब्रिड सिस्टम के