Novel Test Case Design Techniques for Logical Specifications of Safety Critical Systems Software in Aerial Vehicle