Bridging the Abstraction Gap: A Systematic Approach to Rule-Based Transformational Design for Embedded Systems

Fahimeh Bahrami, Rodolfo Jordão, Ingo Sander, Ingemar Söderquist. Bridging the Abstraction Gap: A Systematic Approach to Rule-Based Transformational Design for Embedded Systems. ACM Trans. Embedded Comput. Syst., 25(2), March 2026. [doi]

Abstract

Abstract is missing.