CGP Case Study
In our first case study we tried to evaluate the proposed approach executing it manually. We used specifications for the CGP system which is responsible for controlling the process of opening and closing a subway door. A simplified version of this specification can be found here. Since it is a commercial product we cannot provide the complete specification.