| Title | A Behavior Specification and Simulation Methodology for Embedded Real-Time Software |
|---|---|
| DOI | https://doi.org/10.1109/ds-rt55542.2022.9932069 |
| Raw Affiliation | German Aerospace Center (DLR), Institute of Flight Systems, Braunschweig, Germany |
| Clean Page Target | German Aerospace Center (DLR), Institute of Flight Systems, Braunschweig, Germany |