Incremental modelling and verification of the PCI Express transaction layer | IEEE Conference Publication | IEEE Xplore