Addressed feedback #131 (comment)

literature.bib

@@ -344,7 +344,7 @@ @techreport{HM:TR25
 	author = {Tobias Heß and Aaron Molt},
 	title = {{A Fast Counting-Free Algorithm for Computing Atomic Sets in Feature Models}}, 
 	number = {arXiv:2501.12490},
-	institution = {arXiv},
+	institution = arXiv,
 	doi = {10.48550/arXiv.2501.12490}, 
 	year = 2025
 }
@@ -358,8 +358,9 @@ @inproceedings{DHK:SPLC24
 	pages = {209--216},
 	publisher = ACM,
 	address = NY,
+	month = SEP,
 	year = 2024,
-	location = {Dommeldange, Luxembourg},
+	location = Dommeldange,
 	doi = {10.1145/3646548.3676538}
 }
 
@@ -10101,13 +10102,14 @@ @article{RTS+:JLAMP16
 
 @article{DBS+:SoSyM15,
   author = {Amador Dur{\'{a}}n and David Benavides and Sergio Segura and Pablo Trinidad and Antonio Ruiz Cort{\'{e}}s},
-  title = {{FLAME: A Formal Framework for the Automated Analysis of Software
-                  Product Lines Validated by Automated Specification Testing}},
+  title = {{FLAME: A Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing}},
   journal = SoSyM,
   volume = {16},
   number = {4},
   pages = {1049--1082},
   doi = {10.1007/S10270-015-0503-Z},
+	publisher = Springer,
+	address = BerlinHeidelberg,
   year = 2015
 }
 
@@ -19844,10 +19846,10 @@ @inproceedings{PHS:ECAI08
   author = {C{\'{e}}dric Piette and Youssef Hamadi and Lakhdar Sais},
   title = {{Vivifying Propositional Clausal Formulae}},
   booktitle = EAI,
-  series = {Frontiers in Artificial Intelligence and Applications},
   volume = {178},
   pages = {525--529},
   publisher = IOS,
+	address = Amsterdam,
   doi = {10.3233/978-1-58603-891-5-525},
   year = 2008
 }