Specifying Component Behavior with Port State Machines. - Vladimir Mencl (CVUML, 2003)

Getting 'whole Picture' Behavior in a Use Case Model. - Frantisek Plásil; Vladimir Mencl (Trans. SDPS, 2003)

Microcomponent-Based Component Controllers: A Foundation for Component Aspects. - Vladimir Mencl; Tomás Bures (APSEC, 2005)

Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective. - Vladimir Mencl; Frantisek Plásil; Jirí Adámek (IASTED Conf. on Software Engineering, 2005)

Harnessing Theories for Tool Support. - Zhiming Liu 001; Vladimir Mencl; Anders P. Ravn; Lu Yang (ISoLA, 2006)

Preface. - Vladimir Mencl; Frank S. de Boer (FACS, 2006)

Separation of Concerns and Consistent Integration in Requirements Modelling. - Xin Chen 027; Zhiming Liu 001; Vladimir Mencl (SOFSEM (1), 2007)

Improved Processing of Textual Use Cases: Deriving Behavior Specifications. - Jaroslav Drazan; Vladimir Mencl (SOFSEM (1), 2007)