CONSTRUCT: A Program Synthesis Approach for Reconstructing Control Algorithms from Embedded System Binaries in Cyber-Physical Systems. - Ali Shokri 003; Alexandre Perez; Souma Chowdhury; Chen Zeng; Gerald Kaloor; Ion Matei; Peter-Patel Schneider; Akshith Gunasekaran; Shantanu Rane (CoRR, 2023)