From 448d408b9b5fae9331ea0780416f7e1107233604 Mon Sep 17 00:00:00 2001
From: Flancian <0@flancia.org>
Date: Mon, 19 Jul 2021 13:50:34 +0200
Subject: [PATCH] vault backup: 2021-07-19 13:50:34

---
 system theoretic process analysis.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/system theoretic process analysis.md b/system theoretic process analysis.md
index 637dce358..c407e220d 100644
--- a/system theoretic process analysis.md	
+++ b/system theoretic process analysis.md	
@@ -29,6 +29,7 @@
 		- [[feedback]] can be derived from [[responsibilities]] (which information does the process model need to contain?)
 	- step three: [[identify unsafe control actions]]
 		- an [[unsafe control action]] is one that, in a particular context, will lead to a [[hazard]].
-		- it must include the actual (real) context in which the control action is unsafe; and it must be linked to a hazard. it shouldn't depend on
+		- it must include the actual (real) context in which the control action is unsafe, instead of controller beliefs; and it must be linked to a hazard.
+		- define [[controller constraints]]: behaviours that need to be satisfied to prevent UCAs.
 		
 	
\ No newline at end of file