@article {24491,
	title = {Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation},
	journal = {Information and Software Technology},
	volume = {55},
	year = {2013},
	pages = {836-864},
	publisher = {Elsevier},
	author = {Rajwinder Kaur {Panesar-Walawege} and Sabetzadeh, Mehrdad and Briand, Lionel}
}
