Representation and automatic generation of state-transition mapping tree. - Je-Ho Park; Young Bom Park; Soo-Kyung Choi (J. Supercomput., 2018)