A systematic literature review on the mathematical underpinning of model-based systems engineering. - Paul Wach; Taylan G. Topcu; Sukhwan Jung; Brandt Sandman; Aditya U. Kulkarni; Alejandro Salado (Syst. Eng., 2025)