State fence diagrams - A graphical representation for designing reactive systems. - Hiromi Kobayashi; Satoru Ichinose; Yasunari Shidama (Syst. Comput. Jpn., 1999)