@article {IOPORT.50036270,
    author       = {Poore, Jesse H. and Mills, Harlan D. and Mutchler, David},
    title        = {Planning and certifying software system reliability},
    year         = {1993},
    journal      = {IEEE Software},
    volume       = {10},
    number       = {1},
    pages        = {88-99},
    identifier   = {50036270},
}