Modelling Peripheral Designs using FSM-like Notation for Complete Property Set Generation | IEEE Conference Publication | IEEE Xplore