Development of Hybrid Systems

@inproceedings{Pnueli1994DevelopmentOH,
  title={Development of Hybrid Systems},
  author={Amir Pnueli},
  booktitle={FTRTFT},
  year={1994}
}