Analyzing Interaction Orderings with Model Checking

@inproceedings{Dwyer-al:ASE04,
  author    = {Matthew B. Dwyer and
               Robby and
               Oksana Tkachuk and
               Willem Visser},
  title     = {Analyzing Interaction Orderings with Model Checking},
  booktitle = {ASE},
  pages     = {154--163},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}