@article {GOELC99, 
	title = {Model-Based Verification of a Security Protocol for the Conditional Access to Services},
	journal = {Formal Methods in System Design},
	volume = {14},
	number = {2},
	author = {G. Leduc and O. Bonaventure and E. Koerner and L. Léonard and C. Pecheur},
	year = {1999},
	month = {March},
}