On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling. - Raul Gorcitz; Emilien Kofman; Thomas Carle; Dumitru Potop-Butucaru; Robert de Simone (FORMATS, 2015)