@misc {IOPORT.70653781,
    author       = {Milanova, Ana and Ryder, Barbara G.},
    title        = {Annotated inclusion constraints for precise flow analysis},
    howpublished = {ICSM, 187-196 (2005).},
    year         = {2005},
    identifier   = {70653781},
}