Enviar por SMS: Proposta de modelo para cálculo de disponibilidade em redes IP baseado na decomposição de espaço de estados