@InProceedings{Eshuis:2000:FMOODS,
  author =       "Rik Eshuis and Roel Wieringa",
  title =        "Requirements Level Semantics for {UML} Statecharts",
  booktitle =    "Formal Methods for Open Object-Based Distributed Systems
                  IV - Proc. FMOODS'2000, September, 2000, Stanford,
                  California, USA",
  year =         "2000",
  editor =       "Scott F. Smith and Carolyn L. Talcott",
  publisher =    "Kluwer Academic Publishers",
}