Toward Automatic Synthesis of Schedulable Real-Time Systems (From the Temporal Perspectives) 태그: International Journals