%entities; ] > Jan Krakora CTU Pavel Pisa CTU Frantisek Vacek CTU Zdenek Sebek CTU Petr Smolik CTU Zdenek Hanzalek CTU February 2004 2004 Ocera You can (in fact you must!) use, modify, copy and distribute this document, of course free of charge, and think about the appropriate license we will use for the documentation. This document presents elaborated version of communication component design report. It is composed of three chapters. The first and second chapters deal with design of communication stacks - RT Ethernet or CAN/CANopen respectively including analysis tools. The third chapter presents Basic features of verification methodology of distributed systems based on standard verification tools. &orte;