Consistency Analysis for Requirements, Functions, and System Elements
C. Lankeit, V. Just, A. Trächtler, in: IEEE Systems Conference, Orlando, USA, 2016.