Washing Machine Model A+B (class similarity threshold = 0.85)

Feature Model:

Feature Model

Class Diagram:

Class Diagram
fA annotates elements colored in red;
fB annotates elements colored in blue;

Controller State Machine:

Controller State Machine
fA annotates elements colored in red;
fB annotates elements colored in blue;

Wash State Machine:

Wash State Machine
fA annotates all elements;

HeatedWash State Machine:

Wash State Machine
fB annotates all elements;

Dryer State Machine:

Dryer State Machine
fA annotates all elements;

Timer State Machine:

Timer State Machine
fB annotates all elements;