The top documents tagged [composite model checking]