Synzhesis of the synchronisation code of pipeline systems - Balázs Urgon (2008)