Programmers often use informal worst-case analysis and debugging to ensure schedules that satisfy real-time requirements. Not only can this process be tedious and error-prone, it is inherently cons ...
['Ehsan Khamespanah', 'Kirill Mechitov', 'Marjan Sirjani', 'Gul Agha']
Schedulability analysis of distributed real-time sensor network applications using actor-based model checking