TY  - RPRT
TI  - Constraint-Driven Modeling Enabling Dual Model Checking and Simulation for Discrete Event Systems
AU  - Soroosh Gholami
AU  - Hessam S. Sarjoughian
PY  - 2026
UR  - https://arxiv.org/abs/2608.22095
ID  - 2608.22095
ER  -