Figures (3)  Tables (0)

    • Figure 1. 

      The garden bot systems and the DFA of the ʟᴛʟf reachability task.

    • Figure 2. 

      The electric motor manufacturing process represented using declare.

    • Figure 3. 

      The two types of service we consider for the electric motor case study. (a) 'Human operator' service. (b) 'Machine' service.