Chapter 8: Modal Models
Executable models in chapter 8:- Figure 8.1: ModalModelExample.
- Figure 8.6: History.
- Figure 8.8: Preemptive.
- Figure 8.9: ErrorTransition.
- Figure 8.10: Termination.
- Figure 8.12: RefinementOutput.
- Figure 8.13: ModalSDF.
- Figure 8.15: Fibonacci.
- Figure 8.16: Merge.
- Figure 8.17: Timeout.
- Figure 8.18: SpontaneousFSM.
- Figure 8.22: ModalDelay.
- Figure 8.24: ModalClocks.
- Figure 8.25: ResettableTimer.