Alessandro de Gennaro, Paulius Stankaitis, Andrey Mokhov. A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets. In 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015. pages 100-109, IEEE Computer Society, 2015. [doi]