Compatibility of Software Components - Modeling and Verification. - Donald C. Craig; Wlodzimierz M. Zuberek (DepCoS-RELCOMEX, 2006)

Multicomponent Compatibility and its Verification. - Donald C. Craig; Wlodek M. Zuberek (ACSD, 2007)

Verification of Component Behavioral Compatibility. - Donald C. Craig; Wlodzimierz M. Zuberek (DepCoS-RELCOMEX, 2007)

Modelling and performance analysis of component-based systems. - Wlodzimierz M. Zuberek; Ilona Bluemke; Donald C. Craig (Int. J. Crit. Comput. Based Syst., 2010)