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

Feature Model:

Feature Model

Class Diagram:

Class Diagram
fA annotates elements colored in red and lilac;
fB annotates elements colored in blue and lilac;
fC annotates elements colored in green;

Controller State Machine:

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

Green Controller State Machine:

Controller State Machine
fC annotates all elements;

Wash State Machine:

Wash State Machine
fA annotates all elements;

HeatedWash State Machine:

Wash State Machine
fB annotates all elements;

DoubleRinseWash State Machine:

Wash State Machine
fC annotates all elements;

Dryer State Machine:

Dryer State Machine
fA annotates all elements;

Timer State Machine:

Timer State Machine
fB annotates all elements;

Beeper State Machine:

Beeper State Machine
fC annotates all elements;