Gerardo Rubino Bruno Sericola Interval Availability Distribution Computation. 48-55 1993 FTCS db/conf/ftcs/ftcs93.html#RubinoS93