I. Introduction
In recent years, cyber-physical systems (CPS) have attracted a lot of research attention due to their intrinsic combination of cyber and physical aspects, in particular on security concerns [1]. One of the main challenges is therefore to rethink security from a new angle where cyber, physical and human aspects are integrated and understood as a whole. In addition, CPS systems are usually time critical and thus, realtime aspects are fundamental. In this work, we focus on industrial control systems (ICS), which are a class of cyber-physical system where cyber entities (e.g. computers, PLCs) monitor and control processes and physical actions. Cyber attacks on these systems may have serious physical consequences such as flooding, blackouts, or even nuclear disasters [1]. Hence, ICS security is vital since its compromise may result in a myriad of severe problems, from service disruptions and economic loss, to jeopardising natural ecosystems and human lives.