Autonomous Cars, Aerospace, Aeronautics, Systems, Complex Systems Science.
Diagrams and the incremental approach of our design. A digital system is built in sequential logic (a transition from one state PRE to another POST in a clock cycle). Specifications used to build the system are in the exact form of these transitions, which can be generalized with the X notation,