@incollection{,
	
					
					
					9F6C3F6DCBD9531C6C4A31BD73FB8FE9
				,
	author={{Kushal KS} and {Dr. ManjuNanda} and {JJayanthi} and {CSIR National Aerospace Laboratories}},
	journal={{Global Journal of Researches in Engineering}},
	journal={{GJRE}}2249-45960975-586110.34257/gjre,
	address={Cambridge, United States},
	publisher={Global Journals Organisation}171112
}

@incollection{b0,
	
	
		,
	title={{Graphical programming environments for educational robots: Open roberta-yet another one?}}
		,
	author={{
			BJost
		} and {
			MKetterl
		} and {
			RBudde
		} and {
			TLeimbach
		}}
		
		
		
	
	
		,
	booktitle={{IEEE International Symposium on}}
				
			,
	publisher={IEEE}
			,
	year={2014. 2014 Dec 10}
			
		
	
	,
	note={, InMultimedia (ISM)}

}

@book{b1,
	
	
		,
	title={{Tool Supported Specification and Simulation of Distributed Systems}}
		,
	author={{
			FHuber
		} and {
			SMolterer
		} and {
			ARausch
		} and {
			BSchätz
		} and {
			MSihling
		} and {
			OSlotosch
		}}
		
		
		
		
		
		
			,
	year={1998 Apr 20}
			155
			,
	address={Inpdse}
		
	

}

@incollection{b2,
	
	
		,
	title={{The quest for correct systems: Model checking of diagrams and datatypes}}
		,
	author={{
			JPhilipps
		} and {
			OSlotosch
		}}
		
	
	
		,
	booktitle={{APSEC'99) Proceedings. Sixth Asia Pacific}}
				
			,
	publisher={IEEE}
			,
	year={1999. 1999}
			
		
	

}

@incollection{b3,
	
	
		,
	title={{Novel Validation Algorithms for Safety Critical Embedded Software}}
		,
	author={{
			MNanda
		} and {
			JJayanthi
		} and {
			SRao
		}}
		
		
		10.1049/cp:20080731
	
	
		,
	booktitle={{rd IET International Conference on System Safety}}
				Birmingham
		
			,
	year={2008. 2008}
			3
			
		
	

}

@book{b4,
	
	
		,
	title={{Software Requirements Data Document for SARAS SWS/AIC System}}
		,
	author={{
			ManjuDr
		} and {
			G KNanda
		} and {
			K PSingh
		} and {
			Srikanth
		}}
		
		
		
		
			,
	year={Dec 2015}
			
			,
	address={Bengaluru}
		
		
			CSIR-National Aerospace Laboratories
		
	

}

@book{b5,
	
	
		,
	title={{Software Considerations in Airborne Systems and Equipment Certification}}
		
		
			,
	year={December 2011}
		
	
	,
	note={RTCA}

}

@incollection{b6,
	
	
		,
	title={{Model-Based Analysis for Safety Critical Software}}
		,
	author={{
			SGulan
		} and {
			JHarnisch
		} and {
			SJohr
		} and {
			RKretschmer
		} and {
			SRieger
		} and {
			RZalman
		}}
		
		
		
		
		
	
	
		,
	booktitle={{InInternational Conference on Computer Safety, Reliability, and Security}}
				
			,
	publisher={Springer International Publishing}
			,
	year={2015 Sep 22}
			
		
	

}

@book{b7,
	
	
		,
	title={{Model-based validation of safety-critical embedded systems. InAerospace Conference}}
		,
	author={{
			PHFeiler
		}}
		
			,
	year={2010 IEEE 2010 Mar 6}
			,
	publisher={IEEE}
			
		
	

}

@incollection{b8,
	
	
		,
	title={{Model-based testing of automotive systems}}
		,
	author={{
			EBringmann
		} and {
			AKrämer
		}}
		
	
	
		,
	booktitle={{In2008 1st International Conference on Software Testing, Verification, and Validation}}
				
			,
	publisher={IEEE}
			,
	year={2008 Apr 9}
			
		
	

}

@book{b9,
	
	
		,
	title={{Model-based software engineering and Ada: Synergy for the development of safety-critical systems}}
		,
	author={{
			ABlotz
		} and {
			FHuber
		} and {
			HLötzbeyer
		} and {
			APretschner
		} and {
			OSlotosch
		} and {
			HPZängerl
		}}
		
		
		
		
		
		
			,
	year={2002. 2002}
			,
	address={Ada, Deutschland}
		
	

}

@incollection{b10,
	
	
		,
	title={{Safety critical avionics for the 777 primary flight controls system}}
		,
	author={{
			YCYeh
		}}
		10.1109/DASC.2001.96-3311
	
	
		,
	booktitle={{20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219)}}
				Daytona Beach, FL
		
			,
	year={2001}
			1
			
		
	

}

@incollection{b11,
	
	
		,
	title={{An introduction to sensor signal validation in redundant measurement systems}}
		,
	author={{
			ARay
		} and {
			RLuck
		}}
		
		10.1109/37.67675
	
	
		,
	booktitle={{IEEE Control Systems}}
				
			,
	year={Feb. 1991}
			11
			
		
	

}

@book{b12,
	
	
		,
	title={{A PC-Based Signal Validation System for Nuclear Power Plants}}
		,
	author={{
			AliErbay
		} and {
			Seyfettin
		}}
		
		
		
			,
	year={1994}
		
		
			University of Tennessee
		
	
	,
	note={Master's Thesis}

}