Text this: ON THE COMPLEXITY OF VERIFYING STRUCTURAL PROPERTIES OF DISCRETE EVENT SIMULATION MODELS.