Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL.