From 5507c553f48e23db900e4b5073b3d40c187f2151 Mon Sep 17 00:00:00 2001
From: Jette Petzold <71103057+Drakae@users.noreply.github.com>
Date: Tue, 19 Nov 2024 16:06:02 +0100
Subject: [PATCH] Update README.md

---
 README.md | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index a8c70c6..f4142f0 100644
--- a/README.md
+++ b/README.md
@@ -1,12 +1,15 @@
 # PASTA
 
-PASTA provides a textual DSL for STPA and automatically generates diagrams.
+Pragmatic-Automated System Theoretic Process Analysis (PASTA) is a [VS Code Extension](https://marketplace.visualstudio.com/items?itemName=kieler.pasta) that provides a textual DSL for System-Theoretic Process Analysis (STPA) and automatically generates diagrams.
+
 Further features are:
-* textual DSL for FTA with interactive cut set visualization;
+* a textual DSL for Fault Tree Analysis (FTA) with interactive cut set visualization;
 * automatic generation of fault trees based on STPA;
-* automatic generation of LTL formulas based on the UCAs of STPA;
+* automatic generation of LTL formulas based on the Unsafe Control Actions (UCAs) of STPA;
 * automatic generation of a safe-by-construction behavior model based on the automatically generated LTL formulas.
 
+A more detailed explanation of all features can be found [here](https://github.com/kieler/pasta/blob/master/extension/README.md).
+
 Examples can be found in [pasta-examples](https://github.com/kieler/pasta-examples).
 
 [![Open in GitHub Codespaces](https://github.com/codespaces/badge.svg)](https://codespaces.new/kieler/pasta-examples)