Logical verification of reactive software systems

@inproceedings{Jackson1992LogicalVO,
  title={Logical verification of reactive software systems},
  author={David Mark Jackson},
  year={1992}
}