@INPROCEEDINGS{Barnett:Using,
AUTHOR = "Mike Barnett and Egon B{\"o}rger and Yuri Gurevich and Wolfram Schulte and Margus Veanes",
TITLE = "Using {A}bstract {S}tate {M}achines at {M}icrosoft: A Case Study",
BOOKTITLE = "Abstract State Machines: Theory and Applications",
SERIES = "LNCS",
VOLUME = "1912",
PAGES = {367-379},
MONTH = "March",
PUBLISHER = "Springer-Verlag",
ADDRESS = "Berlin, Germany",
YEAR = {2000}
}