NobleBlocks
    Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures | NobleBlocks