Return to Article Details Code Generation for Timed Automata System Specifications ConsideringTarget Platform Resource-Restrictions Download Download PDF