Finite State Machine Decomposition Using Multiway Partitioning. - Maya K. Yajnik; Maciej J. Ciesielski (ICCD, 1992)