Convergence rate of numerical solutions to SFDEs with jumps. - Jianhai Bao; Björn Böttcher; Xuerong Mao; Chenggui Yuan (J. Comput. Appl. Math., 2011)

Design of industrial automation systems - Formal requirements in the engineering process. - Björn Böttcher; Johann Badinger; Natalia Moriz; Oliver Niggemann (ETFA, 2013)

Plug-and-Produce: Semantic Module Profile. - Jens Otto; Björn Böttcher; Oliver Niggemann (MBEES, 2013)

From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach. - Björn Böttcher; Natalia Moriz; Oliver Niggemann (ECAI, 2014)

Assisted design for automation systems - From formal requirements to final designs. - Natalia Moriz; Björn Böttcher; Oliver Niggemann; Josef Lackhove (ETFA, 2014)

Exposing Design Mistakes During Requirements Engineering by Solving Constraint Satisfaction Problems to Obtain Minimum Correction Subsets. - Alexander Diedrich; Björn Böttcher; Oliver Niggemann (ICAART (2), 2016)