Toward Automatic Synthesis of Schedulable Real-Time Controllers

@article{Ryu1998TowardAS,
  title={Toward Automatic Synthesis of Schedulable Real-Time Controllers},
  author={Minsoo Ryu and Seongsoo Hong},
  journal={Integrated Computer-Aided Engineering},
  year={1998},
  volume={5},
  pages={261-277}
}