A Knowledge-Based Support System for Embedded Computer Software Analysis. - Kari Hakkarainen; Tuomas Ihme; Markku Oivo (CA(i)SE, 1989)

PROSPEX: A Knowledge-Based Case Tool. - Kari Hakkarainen; Tuomas Ihme; Mike Metcalfe (SCAI, 1989)

A Generic FSM Interpreter for Embedded Systems. - Juha Viskari; Risto Jokinen; Kari Hakkarainen (RTS, 1996)