TY  - RPRT
TI  - From Architecture to Binary: Ensuring Cross-Domain Consistency in Model-Based Airborne Software Development
AU  - Nils Schlautmann
AU  - Viktor Sinitsyn
AU  - Benjamin Engelhard
AU  - Florian Holzapfel
PY  - 2026
UR  - https://arxiv.org/abs/2608.28156
ID  - 2608.28156
ER  -