Table 2 Size-preserving refinement of a binding reaction in Event-B.

From: Scalable reaction network modeling with automatic validation of consistency in Event-B