selected publications chapter Synthesis and Verification of Self-aware Computing Systems. Springer eBooks. 337-373. 2017 conference paper Message from the SAIP, NEMI, ECRF, Journal First, and Workshops Track Chairs. . 2021