V této kapitole ukážeme použití implementovaného grafického editoru pro specifikaci komunikačního protokolu ABP (Alternating Bit Protocol) ve verzi obsahující komunikační linky složené z několika buněk (neomezených buferů). Za účelem demonstrace budeme modelovat spolehlivé a nespolehlivé buňky komunikačního média. Specifikace zjednodušené verze protokolu ABP pomocí CCS je uvedena například v []. Při specifikaci pomocí GCCS budeme kombinovat metodologie shora-dolů a zdola-nahoru. Soubory s popisovaným příkladem jsou součástí přiloženého CD (viz příloha 
).