@Inproceedings{
la-1999-scm,
  title = {Stepwise {CTL} Model Checking of State/Event Systems},
  author = {J\o{}rn~Lind-Nielsen and Henrik~Reif~Andersen},
  booktitle = {{ CAV'99: Computer Aided Verification }},
  publisher = {Lecture Notes in Computer Science},
  year = {1999}
}