Model-Based Framework for Schedulability Analysis Using Uppaal 4.1 | Publicación