Verification of networked Labs-on-Chip architectures | IEEE Conference Publication | IEEE Xplore