@article{Genest06Infinite-state,
  author = {Blaise Genest and Anca Muscholl and Helmut Seidl and Marc Zeitoun},
  title = {Infinite-state high-level {MSC}s: {M}odel-checking and realizability},
  journal = {J. Comput. Syst. Sci.},
  year = 2006,
  pages = {617-647},
  volume = {72},
  number = {4},
}