Automatically Generated CSP Specifications. - Frantisek Scuglik; Miroslav Svéda (J. Univers. Comput. Sci., 2003)

Formal Specification of Shared Variables Using CSP. - Frantisek Scuglik (ECBS, 2004)

A Framework for Formal Specification of Embedded Systems. - Frantisek Bures; Ondrej Rysavý; Frantisek Scuglik; Miroslav Svéda (ECBS, 2005)

Designing algorithm-oriented generic library on .NET framework. - Ondrej Rysavý; Frantisek Scuglik; Miroslav Svéda (ECBS, 2006)