Formal Modelling of Synchronous Hardware Components for System-on-Chip | IEEE Conference Publication | IEEE Xplore