Handbook of Model-Based Systems Engineering - Madni, Azad M.; Augustine, Norman; Sievers, Michael (Springer International Publishing, 2023)