“…Also the approaches presented in the remaining papers could profit from DSLs, e.g., as follows: [41] for specifying certain assertions or contracts, [43] for specifying data flow analyses 20 , [25] for specifying test models, [42] for defining learning alphabets or representing the learning result, [40] for modularly specifying the required code instrumentation, e.g. in an aspect-oriented fashion, and [15,19,66] for conveniently specifying their enriched system structures. Corresponding mIDEs (could) then guide the development by exploiting the DSL's specifics, e.g., the interpretation of assertions, security predicates, time, or probabilities.…”