mcss: safety and liveness
mcss: fairness and safety + image from last commit
mcss: model checking regular safety properties