Logic-based schedulability analysis for compositional hard real-time embedded systems - Pedro, André Matos (2015)