The BUSpec platform for automated generation of verification aids for standard bus protocols | IEEE Conference Publication | IEEE Xplore