@article{Gor2000,Author = {Gorla, G. and Moser, E. and Nebel, W. and Villar, E.},Title = {System specification experiments on a common benchmark},Year = {2000},Month = {01},type = {article}}@COMMENT{Bibtex file generated on }