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