@INPROCEEDINGS{GGHC-Artist06, 
	AUTHOR = "Glouche, Y. and Genet, T. and Heen, O. and Courtay, O.",
	TITLE = "{A} {S}ecurity {P}rotocol {A}nimator {T}ool for {AVISPA}",
        YEAR = {2006},
        BOOKTITLE = {ARTIST-2 workshop on security of embedded systems, Pisa (Italy)},
        NOTE = {\url{http://people.irisa.fr/Thomas.Genet/span/}}
}