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.
+Download the latest stable release from [mtsa.dc.uba.ar](http://mtsa.dc.uba.ar).
 
-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.
+You can run the application using [Java 11 JRE](https://adoptium.net/temurin/releases/?version=11) or later. 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)