Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution). - Franck Cassez; Takashi Matsuoka; Edward Pierzchalski; Nathan Smyth (TACAS, 2015)