An industry response to comprehensive enterprise information systems management. - William E. Warner (Integrated Network Management, 1995)

Lessons Learned from a Trial Application of Requirements Modeling Using Statecharts. - C. R. Nobe; William E. Warner (ICRE, 1996)

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts. - William Chan 001; Richard J. Anderson 001; Paul Beame; David H. Jones; David Notkin; William E. Warner (ICSE, 1999)

Optimizing Symbolic Model Checking for Statecharts. - William Chan 001; Richard J. Anderson 001; Paul Beame; David H. Jones; David Notkin; William E. Warner (IEEE Trans. Software Eng., 2001)