Towards a multi-formalism framework for architectural synthesis: the ASAR project | IEEE Conference Publication | IEEE Xplore