Iftikhar, Muhammad UsmanMuhammad UsmanIftikhar2021-10-242021-10-242017-12https://imec-publications.be/handle/20.500.12860/28559A Model-Based Approach to Engineer Self-Adaptive Systems with GuaranteesPHD thesishttps://limo.libis.be/primo-explore/fulldisplay?docid=LIRIAS1772199&context=L&vid=Lirias&search_scope=Lirias&tab=default_tab&lang=en_US