@inproceedings{Otto2002b,
  pages = {371-380},
  title = {Modal and guarded characterisation theorems over finite transition
           systems},
  author = {Otto, Martin},
  booktitle = {Proceedings of 17th {IEEE} Symposium on Logic in Computer Science
               {LICS}'02},
  year = {2002},
}