@misc {IOPORT.70008381,
    author       = {Anderson, Paul},
    title        = {90\% perspiration: engineering static analysis techniques for industrial applications},
    howpublished = {SCAM, 3-12 (2008).},
    year         = {2008},
    doi          = {10.1109/SCAM.2008.11},
    identifier   = {70008381},
}