Manfred Broy. Towards formal modeling of functional features and feature interactions in software intensive systems. In Ina Schaefer, Isabel John, Klaus Schmid, editors, Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. Proceedings. pages 1, ACM, 2011. [doi]
Abstract is missing.