@comment{In reality this is a Senior thesis, but the Master's thesis} 
@comment{entry type seems to fit best}
@mastersthesis{srl02,
  author = "Scott R. Little",
  title = "A Comparison of Timed State Space Analysis Methods",
  school = "University of Utah",
  year = "2002"  
}