A Tool for the Synthesis of Asynchronous Speed-Independent Circuits. - Ondrej Gallo; Tomás Necas; Fedor Lehocki (ACSD/Petri Nets Workshops, 2010)