Theses most similar to Model-based requirement definition for instrument systems (Smith, Matthew Willia; 2014) read it