Nimisha Limaye, Satwik Patnaik, Ozgur Sinanoglu: Fa-SAT: Fault-aided SAT-based Attack on Compound Logic Locking Techniques. DATE 2021: 1166-1171