BSc project of Michael Banken on simulating counter machines
MDP minimization tool from Antti Valmari