A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems