PragmaDev Studio is a recognized modeling tool to describe complex communicating systems. Cyber Physical Systems combine event driven and clock driven elements, critical parts and non critical parts.