Incremental Cospecification Using Objects and Join Actions. - Risto Pitkänen; Harri Klapuri (PDPTA, 1999)

Specifying Cash-Point with DisCo. - Timo Aaltonen; Pertti Kellomäki; Risto Pitkänen (Formal Aspects Comput., 2000)

Facilities of Practice Reflecting Abstractions of Theory, and Vice Versa. - Tommi Mikkonen; Risto Pitkänen (SCCC, 2001)

DisCo Toolset - The New Generation. - Timo Aaltonen; Mika Katara; Risto Pitkänen (J. Univers. Comput. Sci., 2001)

On the Role of Architectural Style in Model Driven Development. - Tommi Mikkonen; Risto Pitkänen; Mika Pussinen (EWSA, 2004)

Object-oriented middleware for location-aware systems. - Riku Järvensivu; Risto Pitkänen; Tommi Mikkonen (SAC, 2004)

A UML Profile for Executable and Incremental Specification-Level Modeling. - Risto Pitkänen; Petri Selonen (UML, 2004)

On Agility of Formal Specification. - Tommi Mikkonen; Risto Pitkänen (EJC, 2006)

Towards a Server-Centric Interaction Architecture for Wireless Applications. - Jussi Saarinen; Tommi Mikkonen; Sasu Tarkoma; Jani Heikkinen; Risto Pitkänen (KSII Trans. Internet Inf. Syst., 2008)