\section{Future Work}
To get this tool to a usable state,
	either Storm needs to be able to read and write parametric DTMCs to DRN files,
	or the logic of our tool needs to be re-implemented in Python or C(++) on Storm's data structures.
Either of these options seem to be possible straightforwardly given more knowledge or documentation of Storm.

To implement the cost functions properly, there are different options.
The simplest would be implementing the approximation method described in the previous section.
Another option is to find different kinds of cost functions which can be minimised efficiently.
