Spezifikation und Test von Markov-Kettenmodellen: Eine Anwendung auf die Konvergenz in der Europäischen Union | Synapse