Checking models based on an iterative co-specification process of a critical system
Model-free Control