1. Bauml, J. and P. Brada, Automated versioning in OSGi: a mechanism for component software consistency guarantee, in: Proceedings of Euromicro SEAA (2009).
2. Bauml, J. and P. Brada, Reconstruction of type information from java bytecode for component compatibility, in: 5th workshop on Bytecode Semantics, Verification, Analysis and Transformation (Satellite Event of ETAPS 2010), Paphos, Cyprus, 2010.
3. Formalization of component substitutability;Belguidoum;Electronic Notes on Theoretical Computer Science,2008
4. Making components contract aware;Beugnard;Computer,1999
5. Brada, P., “Specification-Based Component Substitutability and Revision Identification,” Ph.D. thesis, Charles University in Prague (2003).