@Article{Finkbeiner:FMSD-27-3-253,
  author =       "Bernd Finkbeiner and Sriram Sankaranarayanan and Henny
                 Sipma",
  title =        "Collecting Statistics over Runtime Executions",
  pages =        "253--274",
  journal =      "Formal Methods in System Design",
  volume =       "27",
  number =       "3",
  year =         "2005",
  month =        nov,
  ee =           "http://dx.doi.org/10.1007/s10703-005-3399-3",
  URL =          "http://react.cs.uni-sb.de/fileadmin/user_upload/react/fmsd04.pdf",
}