Sokrates-SA - A formal method for specifying real-time systems. - Ari Okkonen; Antti Auer; Mikko Levanto; Jyrki Okkonen; Jarmo Kalaoja (Microprocessing and Microprogramming, 1989)

Solution in software crisis. - Antti Auer; Mikko Levanto; Ari Okkonen; Jyrki Okkonen (Microprocessing and Microprogramming, 1990)

ReaGOS - An Application Specific R/T-OS. - Ari Okkonen; Mikko Levanto; Jyrki Okkonen; Antti Auer; Jarmo Kalaoja; Heikki Päivike (RTS, 1993)

A skilled and intelligent paper roll manipulator. - Tapio Heikkilä; Pentti Vähä; Jyrki Okkonen (IROS, 1993)

Explaining Control Logic to Process Operators. - Pertti Huuskonen; Kari Kaarela; Jyrki Okkonen; Anne Väisänen (IEA/AIE, 1995)