Článek popisuje formální model pro popis preferencí na alternativní větve v zahnízděných temporálních sítích.