@inproceedings{Bensalem-et-al-2008a,
	author    = {Saddek Bensalem and Moez Krichen and Stavros Tripakis},
	title     = {Generating Analog-Clock Real-Time Testers Using Action Refinement Techniques},
	booktitle = {Actes de la Conf\'erence Internationale sur les Relations, Ordres 
	 	     et Graphes: Interaction avec l'Informatique(ROGICS'08)},
	year      = {2008},
	month     = {12-17 May},
	address   = {Mahdia, Tunisia}
}