Complexity of Design Space Exploration for Building Automation Systems and Comparison of Designing Strategies. - Matthias Lehmann; Florenz Schafer; Jessica Sattler; Klaus Kabitzsch (ETFA, 2018)