Towards formal modeling of functional features and feature interactions in software intensive systems.

Manfred Broy

Browse the full SPLC paper archive.