Two New Algorithms to Compute Steady-State Bounds for Markov Models with Slow Forward and Fast Backward Transitions. - Juan A. Carrasco; Angel Calderón; Javier Escribá (MASCOTS, 1996)

Efficient Exploration of Availability Models Guided by Failure Distances. - Juan A. Carrasco; Javier Escribá; Angel Calderón (SIGMETRICS, 1996)