Artículo.
Finalmente, todos los posibles errores de ráfaga hasta la longitud 13 se aplican en el mensaje en cualquier ubicación dentro de la carga útil. El inicio del error de ráfaga viene dado por una nondet_assign. Posteriormente, en un bucle foreach, simulamos las posibles ráfagas de error. En una cierta