Programy według mcmas-sc.sf.net

Nowy kontroler modelu, o nazwie MCMAS-SC, do weryfikacji zobowiązań społecznych i ich realizacji. Jest to rozszerzanie kontrolera modelu MCMAS w celu obsługi weryfikacji logiki CTLC.