@proceedings {569,
	title = {An Enhanced Slider for Safety Analysis},
	year = {2011},
	address = {Providence, RI, USA},
	author = {Yasmin I. Al-Zokari and Daniel Schneider and Dirk Zeckzer and Hans Hagen}
}
