Synthesis and Verification of Self-aware Computing Systems | Publicación