@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}, }