A Framework for the Synthesis of Reactive Modules

@inproceedings{Pnueli1988AFF,
  title={A Framework for the Synthesis of Reactive Modules},
  author={Amir Pnueli and Roni Rosner},
  booktitle={Concurrency},
  year={1988}
}