Designing Future Aerospace Systems: Integrating BIP Formal Verification Into F Prime Framework. - Abdelrahman Metwally; Andrey Somov (IEEE Access, 2025)