Artículo.
Figura 10. Concepto de verificación de varios pasos. Cuando el SUV exhibe un estado interno, necesitamos una verificación de varios pasos. Supone que el SUV se llama en un bucle con valores de entrada diferentes para cada llamada. Para facilitar este comportamiento en la definición de arnés,