ByNobleID
    Using BDD and SBVR to refine business goals into an event-B model: a research idea | NobleID