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

Feature Model:

Feature Model

Class Diagram:

Class Diagram
fA annotates class name Wash; class name Dryer; and attribute name dryer;
fB annotates class name HeatedWash; attribute name wtrLevel; class name Timer; attribute name timer; and attribute time;

Controller State Machine:

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

Wash/HeatedWash State Machine:

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

Dryer/Timer State Machine:

Dryer State Machine
fA annotates state name Spinning and trigger "45 mins over";
fB annotates state name Waiting and trigger "time over";