These submodels can then be verified separately through any verification tool or engine. Furthermore, an overview of a novel feedback technique is also proposed, which highlights any unsatisfiable ...