Best Paper Award at EMSOFT'17!