For the example we selected for discussion, these are: development of techniques supporting heterogeneous modelling, including both formal "meta-models" and a software laboratory for experimenting with heterogeneous modelling; exploration of methods based on dataflow and process networks, discrete-event systems, synchronous/reactive languages, finite-state machines, and
communicating sequential processes; making contributions ranging from fundamental semantics to synthesis of embedded software and custom hardware.