1. Allen, R.J.: A Formal Approach to Software Architecture. Ph.D. Thesis (1997)
2. Alonso, G., Fessler, A., Pardon, G., Schek, H.-J.: Correctness in General Configurations of Transactional Components. In: Proceedings of the ACM Symposium on Principles of Database Systems (PODS 1999), Philadelphia, USA (1999)
3. Andersen, A., Blair, G., Goebel, V., Karlsen, R., Stabell-Kulø, T., Yu, W.: Arctic Beans: Configurable and Reconfigurable Enterprise Component Architectures. IEEE Distributed Systems Online 2(7) (2001),
http://dsonline.computer.org/
4. Bernstein, P.A., Hadzilacos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison Wesley, Reading (1987)
5. Giannakopoulou, D.: Model Checking for Concurrent Software Architectures. Doctoral Dissertation, Imperial College, University of London (1999)