Flight Control with Optimal Control Allocation Incorporating Structural Load Feedback. - Susan A. Frost; Marc Bodson; John J. Burken; Christine V. Jutte; Brian R. Taylor; Khanh V. Trinh (J. Aerosp. Inf. Syst., 2015)

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif. - Zsófia Ádám; Ignacio D. Lopez-Miguel; Anastasia Mavridou; Thomas Pressburger; Marcin Bes; Enrique Blanco Viñuela; Andreas Katis; Jean-Charles Tournier; Khanh V. Trinh; Borja Fernández Adiego (NFM, 2023)