Klicken Sie auf den Link 'jobshop.mcrl2', um die Datei anzuzeigen.