such systems as robust, safe, flexible, and trustworthy as possible. In particular, a