The research presented in this thesis is entirely our own work. Sources are declared throughout the thesis and -regarding adapted / adopted code snippets -in the source code of the prototype implementation that we provide with the thesis.However, in Appendix V we provide an overview of sources that were particularly useful for the prototype implementation. We hope that others will find them as useful as we did.