We are pleased to announce that the PROXIMA paper titled "Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware" from Leonidas Kosmidis, Jaume Abella, Eduardo Quinones, Franck Wartel, Glenn Farrall, Francisco J. Cazorla has received the 51st DAC best paper award. DAC was held in San Francisco in June, and had nearly 300 technical presentations to pick from and more than 6,700 attendants including system designers and architects, logic and circuit designers, validation engineers, CAD managers, senior managers and executives to researchers and academicians from leading universities.