Nejprve projekt uložíme pomocí příkazu Save menu Project. Nakonec provedeme transformaci do CCS. Pomocí menu Window zobrazíme síť ABP. Transformaci do CCS vyvoláme z menu System. Zobrazí se textový editor s výsledným kódem CCS pro celou hierarchii sítí systému ABP (viz obrázek 
).
Získaný kód CCS lze exportovat to textového souboru stisknutím tlačítka Export. Tento soubor pak můžeme načíst do verifikačního nástroje CWB-NC za účelem verifikace a další analýzy.
Figure: Zobrazení výsledku transformace do CCS