@proceedings {570,
	title = {Enhanced CakES representing Safety Analysis results of Embedded Systems},
	year = {2011},
	pages = {793-800},
	address = {Szczecin, Poland},
	isbn = {978-83-60810-39-2},
	author = {Yasmin I. Al-Zokari and Daniel Schneider and Dirk Zeckzer and Liliana Guzman and Yarden Livnat and Hans Hagen}
}
