A Combinatorial Method Based on Function Block and Object-Orientation Concepts for Modeling Distributed Real-Time Control Systems