Sin embargo, consideremos el siguiente ejemplo: el sistema de control de semáforos de una ciudad.