Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS