Integer Programming Techniques for Static Scheduling of Hard Real-Time Systems | Publicación