Ramchandra D. Joshi Software development for reliable software systems. 107-121 1983 3 Journal of Systems and Software 2 http://dx.doi.org/10.1016/0164-1212(83)90024-9 db/journals/jss/jss3.html#Joshi83