Tsowand Johnson. Visualizing System Factorizations with Behavior Tables. Springer Berlin Heidelberg, 2000, doi:10.1007/3-540-40922-x_32.