Optimized Synthesis of Dedicated Controllers with Concurrent Checking Capabilities.

Rgis Leveugle, Gabriele Saucier

Browse the full ITC paper archive.