selected publications conference paper Automating system-level design: from specification to architecture. . 2002 Automating system construction by domain based approaches. . 2002