Julian M. Bass Sylvain Metge Adrian Browne Peter R. Croll Peter J. Fleming Dependability Modelling in a Prototype Development Framework. 131-136 1995 FTCS db/conf/ftcs/ftcs95.html#BassMBCF95