Structuring of RSDS and B Specifications

We show how the structuring mechanisms of RSDS and B can be used to decompose a reactive system specification into modular subparts, using hierarchical or mode-based decomposition.