Michel Auguin Mohamed Belhadj Judith Benzakki C. Carrière Guy Durrieu Thierry Gautier Michel Israël Paul Le Guernic Michel Lemaître E. Martin P. Quinton Laurence Rideau François Rousseau Olivier Sentieys Towards a multi-formalism framework for architectural synthesis: the ASAR project. 25-32 1994 conf/codes/1994 CODES http://doi.acm.org/10.1145/947185.947190 db/conf/codes/codes1994.html#AuguinBBCDGIGLMQRRS94