@incollection{,
	
					
					
					F851DBA62D601C317DE22D2E28E64054
				,
	author={{HOD, CSE,DIET} and {A. VasudevaRao} and {}},
	journal={{Global Journal of Computer Science and Technology}},
	journal={{GJCST}}0975-41720975-435010.34257/gjcst,
	address={Cambridge, United States},
	publisher={Global Journals Organisation}1121
}

@incollection{b0,
	
	
		,
	title={{Software Engineering for Safety: a Roadmap}}
		,
	author={{
			RobynRLutz
		}}
	
	
		,
	booktitle={{Proceedings of the Conference on The Future of Software Engineering}}
				the Conference on The Future of Software EngineeringLimerick, Ireland
		
			,
	year={June 04-11, 2000}
			
		
	

}

@incollection{b1,
	
	
		,
	title={{Software Safety Analysis of a Flight Guidance System}}
		,
	author={{
			AlanCTribble
		}}
	
	
		,
	booktitle={{Proceedings of the 21st}}
				the 21st
		
	

}

@book{b2,
	
	
		,
	title={{Digital Avionics Systems Conference (DASC'02}}
				
	

}

@book{b3,
	
	
		,
	title={{}}
		,
	author={{
			CaliforniaIrvine
		}}
		
			,
	year={Oct. 27-31, 2002}
		
	

}

@incollection{b4,
	
	
		,
	title={{Software Safety and Reliability Basics}}
		,
	author={{
			DebraSHerman
		}}
	
	
		,
	booktitle={{Software Safety and Reliability: Techniques, Approaches, and Standards of}}
				
			,
	publisher={Key Industrial Sectors Wiley-IEEE Computer Society Press}
			,
	year={2000}
		
	

}

@book{b5,
	
	
		,
	author={{
			DaleMGray
		}}
		
		,
	title={{Frontier Status Report #203}}
				
			,
	year={19 May 2000}
		
	

}

@incollection{b6,
	
	
		,
	title={{Safety Critical Systems: Challenges and Directions}}
		,
	author={{
			JohnCKnight
		}}
	
	
		,
	booktitle={{Proceedings of the 24th International Conference on Software Engineering (ICSE)}}
				the 24th International Conference on Software Engineering (ICSE)Orlando, Florida
		
			,
	year={2002}
		
	

}

@book{b7,
	
	
		,
	author={{
			NLeveson
		}}
		,
	title={{Safeware: System Safety and Computers}}
				
			,
	publisher={Addison Wesley}
			,
	year={1995}
		
	

}

@book{b8,
	
	
		,
	author={{
			LPullum
		}}
		,
	title={{Software Fault Tolerance: Techniques and Implementation}}
				
			,
	publisher={Artech House}
			,
	year={2001}
		
	

}

@book{b9,
	
	
		,
	title={{Practical Design of Safety-Critical Computer Systems}}
		,
	author={{
			WRDunn
		}}
		
			,
	year={2002}
			,
	publisher={Reliability Press}
		
	

}

@book{b10,
	
	
		,
	title={{Real-Time Systems, Design Principles for Distributed Embedded Applications}}
		,
	author={{
			HKopetz
		}}
		
			,
	year={1997}
			,
	publisher={Kluwer Academic Publishers}
		
	

}

@book{b11,
	
	
		,
	title={{Safety Analysis and Certification of Open Distributed Systems}}
		,
	author={{
			PConmy
		} and {
			MNicholson
		} and {
			YPurwantoro
		} and {
			MMcdermid
		} and {
			J
		}}
		
		
		
		
		
			,
	year={2002}
		
	

}

@book{b12,
	
	
		,
	title={{The cost of COTS, IEE Colloquium -COTS and Safety critical systems London,1998. 12. IEC 61508 Functional Safety of electrical / electronic / programmable electronic safety-related systems Geneva: International Electrotechnical Commission}}
		,
	author={{
			JAMcdermid
		}}
		
			,
	year={1998}
		
	

}

@incollection{b13,
	
	
		,
	title={{Analysis of Hard Real-Time communications}}
		,
	author={{
			KTindell
		}}
	
	
		,
	booktitle={{Real-Time Systems}}
				
			,
	year={1995}
			9
			
		
	

}

@incollection{b14,
	
	
		,
	title={{Safety Analysis of Vehicle-Based Systems}}
		,
	author={{
			PHJesty
		} and {
			KMHobley
		} and {
			REvans
		} and {
			IKendall
		}}
		
		
		
	
	
		,
	booktitle={{Proceedings of the 8 th Safety-critical Systems Symposium}}
				the 8 th Safety-critical Systems Symposium
		
			,
	year={2000}
		
	

}

@incollection{b15,
	
	
		,
	title={{A Systematic Approach to Software Safety}}
		,
	author={{
			RaghuSingh
		}}
	
	
		,
	booktitle={{Proceedings of Sixth Asia Pacific Software Engineering Conference (APSEC)}}
				Sixth Asia Pacific Software Engineering Conference (APSEC)Takamatsu, Japan
		
			,
	year={1999}
		
	

}

@incollection{b16,
	
	
		,
	title={{Software Safety: Why, what, and how}}
		,
	author={{
			NGLeveson
		}}
	
	
		,
	journal={{ACM Computing Surveys}}
		
			18
			2
			
			,
	year={June 1986}
		
	

}

@book{b17,
	
	
		,
	title={{Safety critical systems engineering, system safety engineering, Modular MSc, diploma, certificate}}
		
			1999
		
		
			The University of York
		
	

}