@inproceedings{Genest02Infinite,
  author = {Blaise Genest and Anca Muscholl and Helmut Seidl and Marc Zeitoun},
  title = {Infinite-{S}tate {H}igh-{L}evel {MSC}s: {M}odel-{C}hecking and {R}ealizability},
  booktitle = {Automata, Languages and Programming},
  editor = {Peter Widmayer and Francisco Triguero Ruiz and Rafael Morales Bueno and Matthew Hennessy and Stephan Eidenbenz and Ricardo Conejo},
  month = {July},
  year = 2002,
  pages = {657-668},
  series = {Lecture Notes in Computer Science},
  volume = {2380},
  publisher = {Springer},
  address = {Malaga, Spain},
}