@INPROCEEDINGS{Dialyzer@APLAS-04,
   author = {Tobias Lindahl and Konstantinos Sagonas},
    title = {Detecting Software Defects in Telecom Applications
             Through Lightweight Static Analysis: A War Story},
    pages = {91--106},
booktitle = {Programming Languages and Systems: Proceedings of the
	     Second Asian Symposium (APLAS'04)},
   editor = {Chin Wei-Ngan},
   volume = {3302},
   series = {LNCS},
publisher = {Springer}, 
    month = nov,
     year = {2004}
}