Efficient Automata-Based Assertion-Checker Synthesis of PSL Properties | IEEE Conference Publication | IEEE Xplore