Manfred Broy. A Logical Approach to Systems Engineering Artifacts and Traceability: From Requirements to Functional and Architectural Views. In Manfred Broy, Doron Peled, Georg Kalus, editors, Engineering Dependable Software Systems. Volume 34 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 1-48, IOS Press, 2013. [doi]
Abstract is missing.