Fast exploration of bus-based communication architectures at the CCATB abstraction