docs: add the new paper

note that this was rejected from peer review in a non-disclosed journal due to not enough citations and not being "research paper"-like enough, which is fair in my opinion. This should mostly be read as a general guide on how the tool works rather than being an official research paper.
sillydan1 · Aug 27, 2023 · 7ff31bb · 7ff31bb
1 parent ccb85df
commit 7ff31bb
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/.github/resources/docs/aaltitoad-v1.0.0.pdf b/.github/resources/docs/aaltitoad-v1.0.0.pdf
diff --git a/README.md b/README.md
@@ -62,7 +62,7 @@ Such a network is called simply a **n**etwork of **t**ick **t**ock **a**utomata
 
 ### Further Reading
  - [This](.github/resources/docs/SW10__Tick_Tock_Automata.pdf) paper describes the base Tick Tock Automata theory
- - [This(wip)]() paper describes in detail the newest iteration of the tool (v1.0.0+)
+ - [This](.github/resources/docs/aaltitoad-v1.0.0.pdf) paper describes in detail the newest iteration of the tool (v1.0.0+)
  - [This](.github/resources/docs/SW9__AALTITOAD.pdf) paper describes the first iteration of the tool (v0.10.x)
  - Take a look at [H-UPPAAL](https://github.com/DEIS-Tools/H-Uppaal) if you want to create some TTAs yourself