Um problema de determinação de política ótima para sistemas de manutenção com máquinas de reserva e número variável de servidores