Models are considered as requirements. A new set of models known as specification models in Simulink by mathworks are introduced. My question is can we use these specification models as requirements rather than having requirements in the form of text.