Jan Martens Promotors: prof.dr. Jan Friso Groote (TU/e), dr. E.P. de Vink (TU/e) Eindhoven University of Technology Date: 25 September 2024 Thesis: PDF Summary In order to formally reason about systems and their actions, one can build a mathematical model that represents them. Many specification languages are developed in order …