@article {IOPORT.05433068,
    author       = {Joshi, Ramchandra D.},
    title        = {Software development for reliable software systems.},
    year         = {1983},
    journal      = {Journal of Systems and Software},
    volume       = {3},
    number       = {2},
    issn         = {0164-1212},
    pages        = {107-121},
    publisher    = {Elsevier, New York, NY},
    doi          = {10.1016/0164-1212(83)90024-9},
    identifier   = {05433068},
}