%T An Overview of ASD \- Formal Methods in Daily Use
%A  Guy Broadfoot
%E Peter H. Welch,  Herman Roebbers,  Jan F. Broenink,  Frederick R. M. Barnes,  Carl G. Ritson,  Adam T. Sampson,  G. S. Stiles,  Brian Vinter
%B Communicating Process Architectures 2009
%X 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.