TECS_PLE Coffee Machine and Body Comfort System models used in "Supervisory Control for Dynamic Feature Configuration in Product Lines", 2022, Sander Thuijsman and Michel Reniers, ACM TECS