Rapid verification of embedded systems using patterns | IEEE Conference Publication | IEEE Xplore