Projects related to model checking ATS.