mcss: model checking omega regular safety properties