Björn Decker 0002, Daniel Kästner. Reconstructing Control Flow from Predicated Assembly Code. In Andreas Krall, editor, Software and Compilers for Embedded Systems, 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings. Volume 2826 of Lecture Notes in Computer Science, pages 81-100, Springer, 2003. [doi]