@conference{Sannier12b, author = "Nicolas Sannier and Benoit Baudry", abstract = "Safety systems in nuclear industry must conform to an increasing set of regulatory requirements. These requirements are scattered throughout multiple documents expressing different levels of requirements or different kinds of requirements. Consequently, when licensees want to extract the set of regulations related to a specific concern, they lack explicit traces between all regulation documents and mostly get lost while attempting to compare two different regulatory corpora. This paper presents the regulatory landscape in the context of digital Instrumentation and Command systems in nuclear power plants. To cope with this complexity, we define and discuss challenges toward an approach based on information retrieval techniques to first narrow the regulatory research space into themes and then assist the recovery of these traceability links.", address = "Chicago, USA", booktitle = "Proceedings of the Requirements Engineering and Law workshop (RELAW'12) at RE'12", keywords = "MDE, RE", month = "sep", note = "partners: INRIA; projects: Nessos; TIER : NoTIER; citation: 3", pages = "-", title = "{D}efining and {R}etrieving {T}hemes in {N}uclear {R}egulations", url = "http://hal.inria.fr/docs/00/72/18/26/PDF/RELAW2012_Sannier_Baudry-cr.pdf", year = "2012", }