Florian Markert, Sebastian Oster. A Formal Method to Identify Deficiencies of Functional Requirements for Product Lines of Embedded Systems. In Ralf Reussner, Alexander Pretschner, Stefan Jähnichen, editors, Software Engineering 2011 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25.02.2011, Karlsruhe. Volume 184 of LNI, pages 265-276, GI, 2011. [doi]