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)