Zsuzsanna Harangozó Katalin Tarnay FDTs in Self-adaptive Protocol Specification. 113-128 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2614&spage=113 2001 conf/iwsas/2001 IWSAS db/conf/iwsas/iwsas2001.html#HarangozoT01