Added models: power window designer model, power window model and traffic light model to the positive test cases