Tobias F. Pfeffer, Paula Herber, Jörg Schneider: Reverse Engineering of ARM Binaries Using Formal Transformations. SIN 2014: 345