A layered approach to behavioral modeling of bus protocols | IEEE Conference Publication | IEEE Xplore