A Quantum Algorithm for System Specifications Verification. - Mohammed Zidan; Ahmed M. Eisa; Montasir Qasymeh; Mahmoud A. Ismail Shoman (IEEE Internet Things J., 2024)