Technological progress in recent years the Cyber-Physical Systems (CPSs) area has given designers unprecedented possibilities and computational power, but as a consequence, modeled CPSs are becoming increasingly complex, hierarchical, concurrent. Therefore, new methods of design (especially using abstract modeling) needed. The paper presents an approach to CPS control part modeling state machin...
