As well as an overview of UML & the more recent Sys ML, Debbabi & his co-authors investigate varied methodologies & techniques for the automatic verification & validation of systems engineering design models expressed in standardized modeling languages.