Research Article

Failure Propagation Modeling and Analysis via System Interfaces

Figure 5

The extended interface models of railroad crossing control.
(a) Train
(b) Controller
(c) Gate