Aleksandar S. Dimovski: Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL\(^{\star }\). FASE 2018: 301-318