Visual Language for Behavioral Specifications of Reactive Systems. - K. Gary Chan; H. Lewis Chau (ICCL, 1994)

A visual logic specification of flexible manufacturing systems. - H. Lewis Chau; K. Gary Chan (SEKE, 1994)