1. Cython: C-Extensions for Python. http://cython.org/ . Accessed 6 Nov 2017
2. Github: FunSpec4DTMC. https://github.com/uni-tue-kn/funspec4dtmc . Accessed 6 Nov 2017
3. GNU General Public License 3. https://www.gnu.org/licenses/gpl-3.0.en.html . Accessed 6 Nov 2017
4. Matplotlib 2.1.0. https://matplotlib.org/ . Accessed 6 Nov 2017
5. NumPy - Scientific Computing with Python. http://www.numpy.org/ . Accessed 6 Nov 2017