@misc{indiciae24f370f26386,
  title = {A SCADE Model Verification Method Based on B-Model Transformation},
  author = {Xili Hou and Keming Wang and Huibing Zhao and Ruiyin Shi},
  year = {2025},
  url = {https://arxiv.org/abs/2505.00967},
  note = {Source identifier: 2505.00967}
}