I was a PhD student at the University of Luxembourg, within the Security and Trust of Software Systems (SaToSS) research group, under supervision of Sjouke Mauw. My position is internal, and I receive funding from the University of Luxembourg.