“…2, the front-end of this approach is a high-level specification written in a domain-specific language (DSL) called TDevC, which contains the interface descriptions and the communication protocol of the devices. This language has been under development since 2009 and has been extended to allow more complex specification of register access constraints as well as to allow sequences of register accesses, as observed in [9,10], including this current syntax and expression power.…”