Automatic Generation of Availability Models in RAScad. - Dong Tang; Ji Zhu; Roy Andrada (DSN, 2002)