ByNobleID
    A formal approach to design space exploration of protocol converters | NobleID