Using system analysis modeling language (saml) for validating the critical aerospace model: Short paper: A case-study. - K. S. Kushal; J. Jayanthi; Manju Nanda; Shamsundar Dhage (ICACCI, 2017)