An approach to real-time system design

We propose an approach to real-time systems software design, which helps a designer to obtain the modular, reliable and predictable system. Our approach is the combination of structured design techniques and formal analysis techniques.