Test Case Generation and Test Oracle Support for Testing CPSs using ...