Reconfigurable logic control using modular FSMs: Design, verification, implementation, and integrated error handling. - S. S. Shah; Eric William Endsley; Morrison Ray Lucas; Dawn M. Tilbury (ACC, 2002)

Modular verification of modular finite state machines. - Eric William Endsley; Dawn M. Tilbury (CDC, 2004)

Modular finite state machines for logic control: Theory, verification and applications to reconfigurable manufacturing systems. - Eric William Endsley (2004)