Evaluating generalized semi Markov process model of SoC bus architectures using HCFG | IEEE Conference Publication | IEEE Xplore