An Application of the TCL Logic to Aerospace Missions. - Antonio Lieto; Marco Orusa; Gian Luca Pozzato; Stefano Zoia 001 (CILC, 2025)