Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level | IEEE Conference Publication | IEEE Xplore