Sandro Bologna, Terje Sivertsen, Heikki Välisuo. Rigorous Engineering Practice and Formal Reasoning of Deep Domain Knowledge - the Basis of Dependable Knowledge Based Systems for Process Plant Control. International Journal of Software Engineering and Knowledge Engineering, 3(1):53-98, 1993. [doi]
Abstract is missing.