Proactive Knowledge-Based Risk Management -- Autonomy in Software Systems -- Specifying