STANDARD CONFORMANCE-BY-CONSTRUCTION WITH EVENT-B