Modelling bus contention during system early design stages | IEEE Conference Publication | IEEE Xplore