Gregory M. Provan, Yi-Liang Chen: On the relationship between finite state machine and causal network representations for discrete event system modeling: initial results. CDC 2000: 29-34