Parallele_Verteilte_Systeme/mCRL2/VendingMachine/VendingMachine_spec.lps