Implementation of PALplus decoder with programmable video signal processor. - Petri Liuha; Pasi Pohjala; Pertti Vanni; Juha Nieminen (IEEE Trans. Circuits Syst. Video Technol., 1995)

Tampere Verification Tool. - Heikki Virtanen; Henri Hansen; Antti Valmari; Juha Nieminen; Timo Erkkilä (TACAS, 2004)