A Computing Framework to Check Real-Time Requirements in Ambient Intelligent Systems | Publicación