“...Advanced methods for overall system specification and validation....”