Modeling and specification methodologies for complex, HW-SW embedded systems; System modeling and specification languages; Model-based design; Executable specifications; Specification analysis; Analog-mixed signal modeling and specification, Models of computation; Formal specification and semantics.