Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL | IEEE Conference Publication | IEEE Xplore