@InCollection{	  altenhofen.ea:issues:2010,
  author	= {Michael Altenhofen and Achim D. Brucker},
  booktitle	= {International Workshop on Formal Methods for Industrial
		  Critical Systems (FMICS)},
  language	= {USenglish},
  title		= {Practical Issues with Formal Specifications: Lessons
		  Learned from an Industrial Case Study},
  year		= {2010},
  abstract	= {Many software companies still seem to be reluctant to use
		  formal specifications in their development processes.
		  Nevertheless, the trend towards implementing critical
		  business applications in distributed environments makes
		  such applications an attractive target for formal methods.
		  Additionally, the rising complexity also increases the
		  willingness of the development teams to apply formal
		  techniques. In this paper, we report on our experiences in
		  formally specifying several core components of one of our
		  commercially available products. While writing the formal
		  specification, we experienced several issues that had a
		  noticeable consequences on our work. While most of these
		  issues can be attributed to the specific method and tools
		  we have used, we do consider some of the problems as more
		  general, impeding the practical application of formal
		  methods, especially by non-experts, in large scale
		  industrial development.},
  keywords	= {ASM, industrial case study, formal specification},
  editor	= {Stefan Kowalewski and Marco Roveri},
  publisher	= {Springer-Verlag},
  address	= {Heidelberg},
  doi		= {10.1007/978-3-642-15898-8_2},
  series	= {Lecture Notes in Computer Science},
  number	= {6371},
  pages		= {17--32},
  pdf		= {http://www.brucker.ch/bibliography/download/2010/altenhofen.ea-issues-2010.pdf},
  classification= {workshop},
  areas		= {formal methods},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/altenhofen.ea-issues-2010}
		  
}