LARA This is an old revision of the document! Circuit-Based Synthesis from Regular Specifications Related project: RegSy and Comfusy.