00:00 Introduction to Software Product Lines
18:32 Features and Feature Models
31:09 Analyses of Feature Models
40:20 Developing an encoding of Feature Models in SAT
51:00 Minimal example model https://play.formal-methods.net/?check=SAT&p=supper-acre-anger-joyous and complete encoding of the larger example https://play.formal-methods.net/?check=SAT&p=darn-clump-gully-book
1:13:36 SAT-based analysis of feature models
