@InProceedings{Broadfoot09,
  title =        "{A}n {O}verview of {ASD} - {F}ormal {M}ethods in {D}aily {U}se",
  author=        "Broadfoot,  Guy",
  editor=        "Welch, Peter H. and Roebbers,  Herman and Broenink,  Jan F. and Barnes,  Frederick R. M. and Ritson,  Carl G. and Sampson,  Adam T. and Stiles,  G. S. and Vinter,  Brian",
  pages =        "--",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2009",
  isbn=          "978-1-60750-065-0",
  year=          "2009",
  month=         "nov",
  abstract=      "Analytical Software Design (ASD) is an example of how formal
     methods can
be introduced into
the industrial workplace and
     routinely used on a daily basis. In this
talk, I will give a
     quick overview of the underlying concepts and
techniques
     employed."
}