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