| Title | A Behavior Specification and Simulation Methodology for Embedded Real-Time Software |
|---|---|
| DOI | https://doi.org/10.1109/ds-rt55542.2022.9932069 |
| Raw Affiliation | Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany |
| Clean Page Target | Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany |