Applying Formal Verification Techniques to Ambient Assisted Living Systems | Publicación