Handbook of Model-Based Systems Engineering - Azad M. Madni (Springer Nature (Textbooks & Major Reference Works), 2023)