Case Study: Formal Specification and Verification of Railway Interlocking System. - Tomas Hlavaty; Libor Preucil; Petr Stepan (EUROMICRO, 2001)

Combinatories and Triangulations. - Tomas Hlavaty; Václav Skala (ICCSA (3), 2004)