Alex Tsow Steven D. Johnson Visualizing System Factorizations with Behavior Tables. 520-537 http://link.springer.de/link/service/series/0558/bibs/1954/19540520.htm 2000 conf/fmcad/2000 FMCAD db/conf/fmcad/fmcad2000.html#TsowJ00