FDTs in Self-adaptive Protocol Specification. - Zsuzsanna Harangozó; Katalin Tarnay (IWSAS, 2001)