Rolf Drechsler (F’15) received the Diploma and Dr.Phil.Nat. degrees in computer science from J. W. Goethe University Frankfurt am Main, Frankfurt, Germany, in 1992 and 1995, respectively.From 1995 to 2000, he was at the Institute of Computer Science, Albert-Ludwigs University, Freiburg im Breisgau, Germany. From 2000 to 2001, he was at the Corporate Technology Department, Siemens AG, Munich, Germany. Since 2001, he has been at the University of Bremen, Bremen, Germany, where he is currently a Full Professor and the Head of the Group for Computer Architecture, Institute of Computer Science. In 2011, he became the Director of the Cyber-Physical Systems Group, German Research Center for Artificial Intelligence, Bremen. His current research interests include the development and design of data structures and algorithms, especially circuit and system design.Mathias Soeken received the Ph.D. degree in computer science and engineering from the University of Bremen, Bremen, Germany, in 2013.He is a Scientist with the École Polytechnique Fédéderale de Lausanne (EPFL), Lausanne, Switzerland. He is investigating constraint-based techniques in logic synthesis and industrial-strength design automation for quantum computing. His current research interests include the many aspects of logic synthesis and formal verification.Dr. Soeken was a recipient of the scholarship from the German Academic Scholarship Foundation. He has been serving as a TPC member for several conferences, including DAC, DATE, and ICCAD and is a Reviewer for Mathematical Reviews as well as for several other journals.

• Chapter 1. (Semi-)Automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications.- Chapter 2. Semi-Formalization of Requirements for Analog/Mixed-Signal Products with Application in Automotive Domain.- Chapter 3. Generation of Verification Artifacts from Natural Language Descriptions.- Chapter 4. Real-world Events Discovering with TWIST.

Rolf Drechsler (F’15) received the Diploma and Dr.Phil.Nat. degrees in computer science from J. W. Goethe University Frankfurt am Main, Frankfurt, Germany, in 1992 and 1995, respectively.From 1995 to 2000, he was at the Institute of Computer Science, Albert-Ludwigs University, Freiburg im Breisgau, Germany. From 2000 to 2001, he was at the Corporate Technology Department, Siemens AG, Munich, Germany. Since 2001, he has been at the University of Bremen, Bremen, Germany, where he is currently a Full Professor and the Head of the Group for Computer Architecture, Institute of Computer Science. In 2011, he became the Director of the Cyber-Physical Systems Group, German Research Center for Artificial Intelligence, Bremen. His current research interests include the development and design of data structures and algorithms, especially circuit and system design.Mathias Soeken received the Ph.D. degree in computer science and engineering from the University of Bremen, Bremen, Germany, in 2013.He is a Scientist with the École Polytechnique Fédéderale de Lausanne (EPFL), Lausanne, Switzerland. He is investigating constraint-based techniques in logic synthesis and industrial-strength design automation for quantum computing. His current research interests include the many aspects of logic synthesis and formal verification.Dr. Soeken was a recipient of the scholarship from the German Academic Scholarship Foundation. He has been serving as a TPC member for several conferences, including DAC, DATE, and ICCAD and is a Reviewer for Mathematical Reviews as well as for several other journals.

• Chapter 1. (Semi-)Automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications.- Chapter 2. Semi-Formalization of Requirements for Analog/Mixed-Signal Products with Application in Automotive Domain.- Chapter 3. Generation of Verification Artifacts from Natural Language Descriptions.- Chapter 4. Real-world Events Discovering with TWIST.

Rolf Drechsler (F’15) received the Diploma and Dr.Phil.Nat. degrees in computer science from J. W. Goethe University Frankfurt am Main, Frankfurt, Germany, in 1992 and 1995, respectively.From 1995 to 2000, he was at the Institute of Computer Science, Albert-Ludwigs University, Freiburg im Breisgau, Germany. From 2000 to 2001, he was at the Corporate Technology Department, Siemens AG, Munich, Germany. Since 2001, he has been at the University of Bremen, Bremen, Germany, where he is currently a Full Professor and the Head of the Group for Computer Architecture, Institute of Computer Science. In 2011, he became the Director of the Cyber-Physical Systems Group, German Research Center for Artificial Intelligence, Bremen. His current research interests include the development and design of data structures and algorithms, especially circuit and system design.Mathias Soeken received the Ph.D. degree in computer science and engineering from the University of Bremen, Bremen, Germany, in 2013.He is a Scientist with the École Polytechnique Fédéderale de Lausanne (EPFL), Lausanne, Switzerland. He is investigating constraint-based techniques in logic synthesis and industrial-strength design automation for quantum computing. His current research interests include the many aspects of logic synthesis and formal verification.Dr. Soeken was a recipient of the scholarship from the German Academic Scholarship Foundation. He has been serving as a TPC member for several conferences, including DAC, DATE, and ICCAD and is a Reviewer for Mathematical Reviews as well as for several other journals.

• Chapter 1. (Semi-)Automatic Translation of Legal Regulations to Formal Representations: Expanding the Horizon of EDA Applications.- Chapter 2. Semi-Formalization of Requirements for Analog/Mixed-Signal Products with Application in Automotive Domain.- Chapter 3. Generation of Verification Artifacts from Natural Language Descriptions.- Chapter 4. Real-world Events Discovering with TWIST.