@article{ATEM-J-2006-MiguelBSA,
	author        = "Miguel A. de Miguel and Javier Fernández Briones and Juan Pedro Silva and Alejandro Alonso",
	doi           = "10.1049/iet-sen:20070050",
	journal       = "{IET Software}",
	number        = 3,
	pages         = "260--280",
	title         = "{Integration of safety analysis in model-driven software development}",
	volume        = 2,
	year          = 2008,
}