VERIFICATION OF MODEL-BASED SYSTEMS ENGINEERING ARTIFACTS Application WO-2022231594-A1 World Intellectual Property Organisation (WIPO) 03 Nov 2022