1. R. Allen, D. Garlan, Formal Connectors, technical report CMU-CS-94-115, Carnegie-Mellon-University, 1994
2. K.M. Chandy, J. Misra, Parallel Program Design — A Foundation, Addison-Wesley Publishing Company, 1988
3. D. Barnard, J. Cuellar, A Tutorial Introduction to TLT — Part I: The Design of Distributed Systems, Siemens ZFE BT SE 11, 19941
4. D. Barnard, J. Cuellar, M. Huber, A Tutorial Introduction to TLT — Part II: The Verification of Distributed Systems, Siemens ZFE BT SE 11, 1994
5. J. Cuellar, I. Wildgruber, D. Barnard, Combining the Design of Industrial Systems with Effective Verification Techniques, FME '94, Formal Methods Europe 1994, to appear1