J. Adamek, T. Bures, P. Jezek, J. Kofron, V. Mencl et al., Component Reliability Extensions for Fractal Component Model, 2008.

J. A. Bergstra, A. Ponse, and S. A. Smolka, Handbook of Process Algebra, 2001.

J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, R. S. Laubach et al., Extracting Finite-state Models from Java Source Code. in proc, of the 22nd International Conference on Software Engineering, 2000.

D. Engler and D. Dunbar, Under-constrained execution, Proceedings of the 2007 international symposium on Software testing and analysis, ISSTA '07, 2007.
DOI : 10.1145/1273463.1273464

A. Groce and W. Visser, Heuristics for Model Checking Java Programs, Int. Journal on Software Tools for Technology Transfer (STTT), vol.6, issue.4

D. Giannakopoulou, C. S. Pasareanu, and H. Barringer, Component Verification with Automatically Generated Assumptions, Automated Software Engineering, vol.9, issue.2, 2005.
DOI : 10.1007/s10515-005-2641-y

S. Khurshid, C. S. Pasareanu, and W. Visser, Generalized Symbolic Execution for Model Checking and Testing, Proc. of TACAS 2003, 2003.
DOI : 10.1007/3-540-36577-X_40

M. Mach, F. Plasil, and J. Kofron, Behavior Protocol Verification: Fighting State Explosion, Journal of Computer and Inf. Science ACIS, vol.6, issue.1, pp.22-30, 2005.

P. Parizek and F. Plasil, Specification and Generation of Environment for Model Checking of Software Components, Proc. of Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007.
DOI : 10.1016/j.entcs.2006.02.036

P. Parizek, F. Plasil, and J. And-kofron, Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker, 2006 30th Annual IEEE/NASA Software Engineering Workshop, 2007.
DOI : 10.1109/SEW.2006.23

F. Plasil and S. Visnovsky, Behavior protocols for software components, IEEE Transactions on Software Engineering, vol.28, issue.11, 2002.
DOI : 10.1109/TSE.2002.1049404

C. Szyperski, Component Software: Beyond Object-Oriented Programming, 2002.