modeling and specification methodologies for complex, HW-SW embedded systems; system modeling and specification languages; model-Driven Engineering; metamodelling; executable specifications; analog-mixed signal and heterogeneous modeling and specification, models of computation; formal specification and semantics