Modelovanie a verifikácia vlastností algoritmov vzájomného vylúčenia v prostredi SPIN - Arbet, Peter, 1988- (STU v Bratislave FEI, 2011)