Formal Proofs for Automata and Sticker Systems. - Hisaharu Tanaka; Issei Sakashita; Shuichi Inokuchi; Yoshihiro Mizoguchi (CANDAR, 2013)