Symbols and Rules for a Self-Explanatory Machine Model. - Keiko Igarashi; Saki Seino; Rentaro Yoshioka (MCSoC, 2014)