Dependable knowledge-based systems development and verification: what we can learn from software engineering and what we need. - Sandro Bologna; Eyvind Ness; Terje Sivertsen (TAI, 1990)

Rigorous Engineering Practice and Formal Reasoning of Deep Domain Knowledge - the Basis of Dependable Knowledge Based Systems for Process Plant Control. - Sandro Bologna; Terje Sivertsen; Heikki Välisuo (Int. J. Softw. Eng. Knowl. Eng., 1993)

A Case Study on the Formal Development of a Reactor Safety System. - Terje Sivertsen (FME, 1996)

Undefinedness vs. Underspecification in HALDEN ASL. - Terje Sivertsen (Nord. J. Comput., 2004)

The TACO Approach for Traceability and Communication of Requirements. - Terje Sivertsen; Rune Fredriksen; Atoosa P.-J. Thunem; Jan-Erik Holmberg; Janne Valkonen; Olli Ventä; Jan-Ove Andersson (SAFECOMP, 2005)