@article{SAC-J-2003-TraoreAY04,
	author        = "Issa Traoré and Demissie B. Aredo and Hong Ye",
	doi           = "10.1016/j.infsof.2003.09.012",
	journal       = "{Information & Software Technology}",
	number        = 5,
	pages         = "281--286",
	title         = "{An integrated framework for formal development of open distributed systems}",
	volume        = 46,
	year          = 2004,
}