@TechReport{siegel-avrunin:2004:modeling-TR,
  author =	 "Stephen F. Siegel and George S. Avrunin",
  title =	 "Modeling {MPI} Programs for Verification",
  institution =	 "Department of Computer Science, University of
                  Massachusetts",
  year =	 2004,
  number =	 "UM-CS-2004-75",
}