From 293a98e5b84665337cca5bb62954cc198827b8ed Mon Sep 17 00:00:00 2001
From: Jette Petzold <71103057+Drakae@users.noreply.github.com>
Date: Tue, 19 Nov 2024 10:30:47 +0100
Subject: [PATCH] Update README.md

---
 README.md | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 888fe63e..594d7ce4 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,17 @@
-# STPA-DSL
+# PASTA
 
-The respository contains the VS Code Extension of the STPA-DSL. 
+PASTA provides a textual DSL for STPA and automatically generates diagrams.
+Further features are:
+* textual DSL for 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 a safe-by-construciton behavior model based on the automatically generated LTL formulas.
+
+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)
+
+[![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/new#https://github.com/kieler/pasta-examples/tree/main)
 
 ## Developing the VS Code extension