Abstract: Aerospace embedded control systems demand precise and efficient modeling of data and control flows to ensure safety and development efficiency. Existing architectural modeling approaches ...