@misc{indiciaec8029a375bd8,
  title = {From Architecture to Binary: Ensuring Cross-Domain Consistency in Model-Based Airborne Software Development},
  author = {Nils Schlautmann and Viktor Sinitsyn and Benjamin Engelhard and Florian Holzapfel},
  year = {2026},
  url = {https://arxiv.org/abs/2608.28156},
  note = {Source identifier: 2608.28156}
}