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)