@inproceedings{under,
	author={Pamela Zave},
	booktitle={Proceedings of the Second International Conference on Principles, Systems and Applications of {IP} Telecommunications},
	pages={256-279},
	publisher={Springer-Verlag LNCS 5310},
	title={Understanding {SIP} through model-checking},
	year=2008,
}