Expose some more useful funs for signal monitoring
mplementation of the model checking fun
Use Octave to solve for plotting to file