Da especificação à confiabilidade: como evitar falhas e paradas em sistemas de movimentação industrial