@TechReport{BBBGHU2006b,
	author = 	{Alessandro Basso and Alexander Bolotov and Artie Basukoski and Vladimir Getov and Ludovic Henrio and Mariusz Urba\'{n}ski},
	title = 	{Specification and Verification of Reconfiguration Protocols in Grid Component Systems},
	institution = 	{CoreGRID Technical Report, TR-0042, Institute on Programming Model (WP3)},
	year = 		{2006},
}