End-User.md

+# Start Using MTSA
+
+Download the latest stable version from [here](https://bitbucket.org/lnahabedian/mtsa/downloads/). Zip may not be up-to-date, but it also contains some useful resources.
+
+You can run the application using [Java 8 JRE](http://www.oracle.com/technetwork/java/javase/downloads/jre8-downloads-2133155.html). If you try to run and nothing happens, make sure the downloaded JAR has its executing bit enabled.
+
+Once MTSA is loaded you can use some of the examples in the menu option `File > Open Examples`.
+
+A **good starting point** for modelling and analysis, and also some help with the tool is the book Concurrency: State Models & Java Programs by Jeff Magee & Jeff Kramer and its associated [website](https://www.doc.ic.ac.uk/~jnm/book/).
+
+
+If you want to define your own examples, check the following sections:
+
+* [Parse, Compile and Compose. A tiny example.][enduser/helloworld]
+* [FSP language options][enduser/fsp_keywords]
+* [Fluents & LTL][enduser/fltl]
+* [Supervisory Control](https://bitbucket.org/lnahabedian/mtsa/wiki/enduser/supervisoryControl)
+* [Reactive Synthesis](https://bitbucket.org/lnahabedian/mtsa/wiki/enduser/reactiveSynthesis)
+* [DCS](https://bitbucket.org/lnahabedian/mtsa/wiki/enduser/DCS)
\ No newline at end of file