Test Case Generation and Test Oracle Support for Testing CPSs using Hybrid Models