Added copyright for LTLModelChecker test.