journals/expert/X391c, First International Workshop on Principles and Diagnostics., 86-91, 1991, IEEE Expert, 6, 3, http://dblp.uni-trier.de/db/journals/expert/expert6.html#X391c, http://csdl2.computer.org/dl/mags/ex/1991/03/x3086.pdf