Acknowledgements I would like to express my gratitude towards my supervisor Sjouke Mauw for his support in finding a suitable project, his guidance and support during the project, and his confidence. I'm also grateful to Chess iT and my company supervisor Bert Bos in particular, for giving me the opportunity to do my research there and for allowing me the freedom to choose the direction of my r...