Towards a formal model of CyberRail. - Dines Bjørner; Peter Chiang; Morten S. T. Jacobsen; Jens Kielsgaard Hansen; Michael P. Madsen; Martin Penicka (IFIP Congress Topical Sessions, 2004)

From railway resource planning to train operation - a brief survey of complementary formalisations. - Martin Penicka; Dines Bjørner (IFIP Congress Topical Sessions, 2004)

Formal Approach to Railway Applications. - Martin Penicka (Formal Methods and Hybrid Real-Time Systems, 2007)

Fusion of CTA and XA data using 3D centerline registration for plaque visualization during coronary intervention. - Gaurav Kaila; Pieter H. Kitslaar; Shengxian Tu; Martin Penicka; Jouke Dijkstra; Boudewijn P. F. Lelieveldt (Image-Guided Procedures, 2016)