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)

Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool. - Antti Valmari; Jukka Kemppainen; Matthew Clegg; Mikko Levanto (FME, 1993)

A scheduling problem language. - Mikko Levanto (RTS, 1995)

RADE: Resource-aware distributed browser-to-browser 3D graphics delivery in the web. - Timo Koskela 001; Arto Heikkinen; Erkki Harjula; Mikko Levanto; Mika Ylianttila (WiMob, 2015)