Model Checking of the Suzuki-Kasami Distributed Mutual Exclusion Algorithm with SPIN | IEEE Conference Publication | IEEE Xplore