Expansion Mechanism for Runtime Verification of Self-adaptive Systems. - Masaya Fujimoto; Hiroyuki Nakagawa; Tatsuhiro Tsuchiya (SEKE, 2023)