Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems