@misc{indiciaed1b6a9861593,
  title = {Constraint-Driven Modeling Enabling Dual Model Checking and Simulation for Discrete Event Systems},
  author = {Soroosh Gholami and Hessam S. Sarjoughian},
  year = {2026},
  url = {https://arxiv.org/abs/2608.22095},
  note = {Source identifier: 2608.22095}
}