@InProceedings{BBBGHU2006a,
	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},
	booktitle = 	{Proceedings of the 3rd IEEE International Conference on Intelligent Systems (IS-2006)},
	year = 		{2006},
}