LARA This is an old revision of the document! Circuit-Based Synthesis from Regular Specifications Until this page is updated, please contact Andrej Spielmann. Related project: RegSy and Comfusy.