Exploration of Reflective ASMs for Security. - Linjie Tong; Ke Xu 002; Jiarun Hu; Flavio Ferrarotti; Klaus-Dieter Schewe (ABZ, 2023)