InstitutionDoi/1703

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